Diff of /sml/trunk/src/compiler/FLINT/main/flintcomp.sml

Parent Directory | Revision Log | Patch

	revision 59, Mon Mar 30 19:24:59 1998 UTC	revision 64, Tue Mar 31 05:26:51 1998 UTC
#	Line 22	Line 22
22
23	fun phase x = Stats.doPhase (Stats.makePhase x)	fun phase x = Stats.doPhase (Stats.makePhase x)
24
25		val collLexp  = phase "Compiler 052 collect" (fn le => (Collect.collect le; le))
26		val fconLexp  = phase "Compiler 052 fcontract" FContract.contract
27	val lconLexp  = phase "Compiler 052 lcontract" LContract.lcontract	val lconLexp  = phase "Compiler 052 lcontract" LContract.lcontract
28	val specLexp  = phase "Compiler 053 specLexp" Specialize.specialize	val specLexp  = phase "Compiler 053 specLexp" Specialize.specialize
29	val wrapLexp  = phase "Compiler 054 wrapLexp" Wrapping.wrapLexp	val wrapLexp  = phase "Compiler 054 wrapLexp" Wrapping.wrapLexp
#	Line 82	Line 84
84
85	val _ = (chkFlint (CGC.checkFlint,1,"1") o prFlint "Translation") flint	val _ = (chkFlint (CGC.checkFlint,1,"1") o prFlint "Translation") flint
86
87		val _ = (PPFlint.LVarString := Collect.LVarString)
88		val _ = (prFlint "Collect" o collLexp) flint
89
90		val flint =
91		(chkFlint (CGC.checkFlint,1,"2") o prFlint "Fcontract" o fconLexp)
92		flint
93
94		val _ = (PPFlint.LVarString := LambdaVar.lvarName)
95
96	val flint =	val flint =
97	(chkFlint (CGC.checkFlint,1,"2") o prFlint "Lcontract" o lconLexp)	(chkFlint (CGC.checkFlint,1,"2") o prFlint "Lcontract" o lconLexp)
98	flint	flint

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.59   changed lines   Added in v.64

---

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