Better readLine

This commit is contained in:
Dmitry Boulytchev 2020-02-25 00:58:17 +03:00
parent 897af34aa9
commit 21a52fd58f
4 changed files with 4 additions and 3 deletions

Binary file not shown.

View file

@ -1246,7 +1246,7 @@ extern void* LreadLine () {
if (errno != 0)
failure ("readLine (): %s\n", strerror (errno));
return LmakeString (0);
return BOX (0);
}
extern void* Lfread (char *fname) {

View file

@ -54,7 +54,8 @@ returns a string, acquired via processing these arguments according to the forma
\descr{\lstinline|fun tl (value)|}{Return the tail of a given list.}
\descr{\lstinline|fun readLine ()|}{Reads a line from the standard input and returns it as a string.}
\descr{\lstinline|fun readLine ()|}{Reads a line from the standard input and returns it as a string. Return "\lstinline|0|" if end
of standard input was encountered.}
\descr{\lstinline|fun printf (fmt, ...)|}{Takes a format string (as per GNU C Library~\cite{GNUCLib} and a variable number of arguments and
prints these arguments on the standard output, according to the format string.}

View file

@ -1 +1 @@
let version = "Version 1.00, 3e2c87d4, Sun Feb 23 22:15:27 2020 +0300"
let version = "Version 1.00, 897af34a, Mon Feb 24 01:08:09 2020 +0300"