Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/compiler/FLINT/main/flintcomp.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 63, Tue Mar 31 05:26:42 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

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

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