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

Parent Directory | Revision Log | Patch

	revision 173, Sat Jul 24 15:37:50 2010 UTC	revision 174, Sat Jul 24 15:38:08 2010 UTC
#	Line 33	Line 33
33	case Parser.parseFile (errStrm, inS)	case Parser.parseFile (errStrm, inS)
34	of NONE => (checkForErrors errStrm; quitWithError ())	of NONE => (checkForErrors errStrm; quitWithError ())
35	| SOME pt => let	| SOME pt => let
36	val _ = checkForErrors errStrm;	val _ = checkForErrors errStrm
37	val ast = (checkTypes pt) handle Typechecker.Error => AST.Program[]	val ast = (checkTypes pt) handle Typechecker.Error => AST.Program[]
38		val _ = checkForErrors errStrm
39		val _ = ASTPP.output (TextIO.stdOut, ast) (* DEBUG *)
40		val simple = Simplify.transform ast
41	in	in
42	checkForErrors errStrm;	(*
43	ASTPP.output (TextIO.stdOut, ast) (* DEBUG *)	SimplePP.output (TextIO.stdOut, ast) (* DEBUG *)
44		*)()
45	end	end
46	(* end case *);	(* end case *);
47	TextIO.closeIn inS	TextIO.closeIn inS

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.173   changed lines   Added in v.174

---

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