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

Parent Directory | Revision Log | Patch

	revision 416, Sun Oct 17 00:32:07 2010 UTC	revision 417, Sun Oct 17 00:32:30 2010 UTC
#	Line 43	Line 43
43	val simple = Simplify.transform ast	val simple = Simplify.transform ast
44	val _ = SimplePP.output (Log.logFile(), simple) (* DEBUG *)	val _ = SimplePP.output (Log.logFile(), simple) (* DEBUG *)
45	val highIL = Translate.translate simple	val highIL = Translate.translate simple
46	val _ = HighPP.output (Log.logFile(), "HighIL after translation", highIL) (* DEBUG *)	val _ = ( (* DEBUG *)
47		HighPP.output (Log.logFile(), "HighIL after translation", highIL);
48		if CheckHighIL.check ("after translation", highIL)
49		then raise Fail "ERROR"
50		else ())
51	val highIL = HighOptimizer.optimize highIL	val highIL = HighOptimizer.optimize highIL
52	val _ = HighPP.output (Log.logFile(), "HighIL after optimization", highIL) (* DEBUG *)	val _ = ( (* DEBUG *)
53		HighPP.output (Log.logFile(), "HighIL after optimization", highIL);
54		if CheckHighIL.check ("after optimization", highIL)
55		then raise Fail "ERROR"
56		else ())
57	val midIL = HighToMid.translate highIL	val midIL = HighToMid.translate highIL
58	val _ = MidPP.output (Log.logFile(), "MidIL after translation", midIL) (* DEBUG *)	val _ = MidPP.output (Log.logFile(), "MidIL after translation", midIL) (* DEBUG *)
59	in	in

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.416   changed lines   Added in v.417

---

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