Diff of /sml/trunk/src/compiler/TopLevel/interact/evalloop.sml

Parent Directory | Revision Log | Patch

	revision 144, Mon Sep 7 21:46:44 1998 UTC	revision 145, Mon Sep 7 23:12:37 1998 UTC
#	Line 222	Line 222
222	(OS.IO.kind iod = OS.IO.Kind.tty)	(OS.IO.kind iod = OS.IO.Kind.tty)
223	| _ => false	| _ => false
224
225	val buf = if (buf = "") then NONE else SOME buf	(*       val buf = if (buf = "") then NONE else SOME buf *)
226	in (* since getting the reader will have terminated the stream, we need	in (* since getting the reader will have terminated the stream, we need
227	* to build a new stream. *)	* to build a new stream. *)
228	TextIO.setInstream(f, TextIO.StreamIO.mkInstream(rd, buf));	TextIO.setInstream(f, TextIO.StreamIO.mkInstream(rd, buf));

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.144   changed lines   Added in v.145

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0