Diff of /trunk/src/compiler/common/inputs.sml

Parent Directory | Revision Log | Patch

	revision 234, Thu Aug 5 21:34:29 2010 UTC	revision 235, Thu Aug 5 21:57:46 2010 UTC
#	Line 70	Line 70
70	]);	]);
71	TextIO.flushOut TextIO.stdOut;	TextIO.flushOut TextIO.stdOut;
72	case TextIO.inputLine TextIO.stdIn	case TextIO.inputLine TextIO.stdIn
73	of SOME ln => (	of SOME ln => let
74		val ln = String.substring(ln, 0, size ln - 1)
75		in
76	AtomTable.insert inputs (name', ln);  (* cache value *)	AtomTable.insert inputs (name', ln);  (* cache value *)
77	cvt ln)	cvt ln
78		end
79	| NONE => OS.Process.exit OS.Process.failure	| NONE => OS.Process.exit OS.Process.failure
80	(* end case *))	(* end case *))
81	| someVal => someVal	| someVal => someVal

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.234   changed lines   Added in v.235

---

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