Changeset 2027 for to-imperative/trunk/library/Stream/refal/Stream.rfi

Timestamp:

Jul 17, 2006, 9:40:42 PM (15 years ago)

Author:

orlov

Message:

• Stream.Get-Line and StdIO.Read-Line! consider a line to be terminated

by any one of a line feed ('\n'), a carriage return ('\r'),
or a carriage return followed immediately by a linefeed.

• New function Stream.Scanc.

File:

• to-imperative/trunk/library/Stream/refal/Stream.rfi (modified) (1 diff)

to-imperative/trunk/library/Stream/refal/Stream.rfi

@@ -11 +11 @@
 $func? Gets           stream s.n     = expr;
 $func  Ungets         stream expr    = ;
+$func  Scanc          stream t1      = empty-or-t1;
 $func  Get-Delim      stream t.delim = expr;
 $func  Get-Line       stream         = expr;