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 603, Thu Apr 6 19:59:57 2000 UTC revision 604, Fri Apr 7 13:53:08 2000 UTC
# Line 36  Line 36 
36  val lcontract = phase "Compiler 052 lcontract" LContract.lcontract  val lcontract = phase "Compiler 052 lcontract" LContract.lcontract
37  (*  val lcontract' = phase "Compiler 052 lcontract'" LContract.lcontract *)  (*  val lcontract' = phase "Compiler 052 lcontract'" LContract.lcontract *)
38  val fcollect  = phase "Compiler 052a fcollect" Collect.collect  val fcollect  = phase "Compiler 052a fcollect" Collect.collect
39  val fcontract = phase "Compiler 052b fcontract" FContract.contract  val fcontract = phase "Compiler 052b fcontract"
40  val fcontract = fn opts => fcontract opts o fcollect                        (fn (opts,lexp) => FContract.contract opts lexp)
41    val fcontract = fn opts => fn lexp => fcontract(opts, fcollect lexp)
42  val loopify   = phase "Compiler 057 loopify" Loopify.loopify  val loopify   = phase "Compiler 057 loopify" Loopify.loopify
43  val fixfix    = phase "Compiler 056 fixfix" FixFix.fixfix  val fixfix    = phase "Compiler 056 fixfix" FixFix.fixfix
 val switchoff = phase "Compiler unnumbered switchoff" Switchoff.switchoff  
44  val split     = phase "Compiler 058 split" FSplit.split  val split     = phase "Compiler 058 split" FSplit.split
45    
46  val typelift  = phase "Compiler 0535 typelift" Lift.typeLift  val typelift  = phase "Compiler 0535 typelift" Lift.typeLift
# Line 114  Line 114 
114              | ("fcontract+eta",_)       =>              | ("fcontract+eta",_)       =>
115                (fcontract {etaSplit=true, tfnInline=false} f,  fi, fk, p)                (fcontract {etaSplit=true, tfnInline=false} f,  fi, fk, p)
116              | ("lcontract",_)           => (lcontract f,  fi, fk, p)              | ("lcontract",_)           => (lcontract f,  fi, fk, p)
            | ("switchoff", _)          => (  
                                            (*say("switchoff <-\n");*)  
                                            (*prF l f;*)  
                                            (*say("switchoff \n");  
                                            let val result = switchoff f  
                                            in  
                                                prF l result;  
                                                (result, fi, fk, p)  
                                            end*)  
                                           (switchoff f, fi, fk, p)  
                                            )  
117             | ("fixfix",   _)            => (fixfix f,     fi, fk, p)             | ("fixfix",   _)            => (fixfix f,     fi, fk, p)
118              | ("loopify",  _)           => (loopify f,    fi, fk, p)              | ("loopify",  _)           => (loopify f,    fi, fk, p)
119              | ("specialize",FK_NAMED)   => (specialize f, fi, fk, p)              | ("specialize",FK_NAMED)   => (specialize f, fi, fk, p)

Legend:
Removed from v.603  
changed lines
  Added in v.604

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