Diff of /trunk/src/driver/main.sml

Parent Directory | Revision Log | Patch

	revision 87, Wed May 26 23:07:39 2010 UTC	revision 88, Wed May 26 23:07:50 2010 UTC
#	Line 34	Line 34
34	of NONE => (checkForErrors errStrm; quitWithError ())	of NONE => (checkForErrors errStrm; quitWithError ())
35	| SOME pt => (	| SOME pt => (
36	checkForErrors errStrm;	checkForErrors errStrm;
37	ignore (checkTypes pt);	ignore (checkTypes pt) handle Typechecker.Error => ();
38	checkForErrors errStrm)	checkForErrors errStrm)
39	(* end case *);	(* end case *);
40	TextIO.closeIn inS	TextIO.closeIn inS

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.87   changed lines   Added in v.88

---

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