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 531, Sat Feb 5 21:29:18 2000 UTC revision 532, Thu Feb 10 21:24:50 2000 UTC
# Line 40  Line 40 
40  val fcontract = fn opts => fcontract opts o fcollect  val fcontract = fn opts => fcontract opts o fcollect
41  val loopify   = phase "Compiler 057 loopify" Loopify.loopify  val loopify   = phase "Compiler 057 loopify" Loopify.loopify
42  val fixfix    = phase "Compiler 056 fixfix" FixFix.fixfix  val fixfix    = phase "Compiler 056 fixfix" FixFix.fixfix
43    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)
117               | ("switchoff", _)          => (
118                                               (*say("switchoff <-\n");*)
119                                               (*prF l f;*)
120                                               (*say("switchoff \n");
121                                               let val result = switchoff f
122                                               in
123                                                   prF l result;
124                                                   (result, fi, fk, p)
125                                               end*)
126                                              (switchoff f, fi, fk, p)
127                                               )
128              | ("fixfix",   _)           => (fixfix f,     fi, fk, p)              | ("fixfix",   _)           => (fixfix f,     fi, fk, p)
129              | ("loopify",  _)           => (loopify f,    fi, fk, p)              | ("loopify",  _)           => (loopify f,    fi, fk, p)
130              | ("specialize",FK_NAMED)   => (specialize f, fi, fk, p)              | ("specialize",FK_NAMED)   => (specialize f, fi, fk, p)

Legend:
Removed from v.531  
changed lines
  Added in v.532

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