Diff of /sml/branches/rt-transition/system/Basis/Implementation/IO/bin-io.sml

Parent Directory | Revision Log | Patch

	revision 497, Tue Dec 7 15:44:50 1999 UTC	revision 498, Tue Dec 7 15:44:50 1999 UTC
#	Line 171	Line 171
171	CleanIO.removeCleaner cleanTag;	CleanIO.removeCleaner cleanTag;
172	m := TERMINATED)	m := TERMINATED)
173	| (m as ref TERMINATED) => ()	| (m as ref TERMINATED) => ()
174		| _ => raise Match (* shut up compiler *)
175	(* end case *))	(* end case *))
176
177	fun input (strm as ISTRM(buf, _)) =	fun input (strm as ISTRM(buf, _)) =

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.497   changed lines   Added in v.498

---

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