SCM Repository
Diff of /sml/trunk/src/compiler/FLINT/main/flintcomp.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 157, Mon Oct 12 01:50:35 1998 UTC | revision 158, Mon Oct 12 02:41:33 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 lcontract = phase "Compiler 052 lcontract" LContract.lcontract | (* val lcontract = phase "Compiler 052 lcontract" LContract.lcontract *) |
| 26 | val fcontract = phase "Compiler 052 fcontract" FContract.contract | val fcontract = phase "Compiler 052 fcontract" FContract.contract |
| 27 | val specialize= phase "Compiler 053 specialize" Specialize.specialize | val specialize= phase "Compiler 053 specialize" Specialize.specialize |
| 28 | val wrapping = phase "Compiler 054 wrapping" Wrapping.wrapping | val wrapping = phase "Compiler 054 wrapping" Wrapping.wrapping |
| # | Line 94 | Line 94 |
| 94 | if !Control.FLINT.specialize then | if !Control.FLINT.specialize then |
| 95 | (chkF (false,"3") o prF "Specialization" o specialize) flint | (chkF (false,"3") o prF "Specialization" o specialize) flint |
| 96 | else flint | else flint |
| 97 | val flint = (chkF (false,"2") o prF "Fcontract" o fcontract) flint | |
| 98 | ||
| 99 | (* val flint = (chkF (false,"6") o prF "FixFix" o fixfix) flint *) | (* val flint = (chkF (false,"6") o prF "FixFix" o fixfix) flint *) |
| 100 | val flint = (chkF (false,"2") o prF "Fcontract" o fcontract) flint | val flint = (chkF (false,"2") o prF "Fcontract" o fcontract) flint |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
