SCM Repository
[smlnj] Diff of /sml/trunk/src/compiler/FLINT/main/flintcomp.sml
Diff of /sml/trunk/src/compiler/FLINT/main/flintcomp.sml
Parent Directory
|
Revision Log
|
Patch
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 |
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 |
|
Legend:
Removed from v.59 |
|
changed lines |
|
Added in v.64 |
|
|