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 213, Fri Jan 15 21:18:35 1999 UTC revision 216, Fri Feb 26 12:55:26 1999 UTC
# Line 29  Line 29 
29  val names2deb = phase "Compiler 057 names2deb" TvarCvt.names2debIndex  val names2deb = phase "Compiler 057 names2deb" TvarCvt.names2debIndex
30    
31  val lcontract = phase "Compiler 052 lcontract" LContract.lcontract  val lcontract = phase "Compiler 052 lcontract" LContract.lcontract
32  val lcontract' = phase "Compiler 052 lcontract'" LContract.lcontract  (*  val lcontract' = phase "Compiler 052 lcontract'" LContract.lcontract *)
33  val fcollect  = phase "Compiler 052a fcollect" Collect.collect  val fcollect  = phase "Compiler 052a fcollect" Collect.collect
34  val fcontract = phase "Compiler 052b fcontract" FContract.contract  val fcontract = phase "Compiler 052b fcontract" FContract.contract
35  val fcontract = fcontract o fcollect  val fcontract = fcontract o fcollect
36  val loopify   = phase "Compiler 057 loopify" Loopify.loopify  val loopify   = phase "Compiler 057 loopify" Loopify.loopify
37  val fixfix    = phase "Compiler 056 fixfix" FixFix.fixfix  val fixfix    = phase "Compiler 056 fixfix" FixFix.fixfix
38    
39    val split     = phase "Compiler 058 split" FSplit.split
40    
41  val typelift  = phase "Compiler 0535 typelift" Lift.typeLift  val typelift  = phase "Compiler 0535 typelift" Lift.typeLift
42  val wformed   = phase "Compiler 0536 wformed" Lift.wellFormed  val wformed   = phase "Compiler 0536 wformed" Lift.wellFormed
43    
# Line 113  Line 115 
115              | ("fcontract",_)           => (fcontract f,  fk, p)              | ("fcontract",_)           => (fcontract f,  fk, p)
116              | ("lcontract",_)           => (lcontract f,  fk, p)              | ("lcontract",_)           => (lcontract f,  fk, p)
117              | ("fixfix",   _)           => (fixfix f,     fk, p)              | ("fixfix",   _)           => (fixfix f,     fk, p)
118                | ("split",   _)            => (#1(split f),  fk, p)
119              | ("loopify",  _)           => (loopify f,    fk, p)              | ("loopify",  _)           => (loopify f,    fk, p)
120              | ("specialize",FK_NAMED)   => (specialize f, fk, p)              | ("specialize",FK_NAMED)   => (specialize f, fk, p)
121              | ("wrap",FK_NAMED)         => (wrapping f,   FK_WRAP, p)              | ("wrap",FK_NAMED)         => (wrapping f,   FK_WRAP, p)

Legend:
Removed from v.213  
changed lines
  Added in v.216

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