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
 [smlnj] / sml / trunk / src / compiler / FLINT / main / flintcomp.sml

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

revision 251, Mon Apr 19 02:55:26 1999 UTC revision 259, Thu Apr 22 09:30:22 1999 UTC
# Line 37  Line 37
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" FContract.contract
40  val fcontract = fcontract 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
# Line 109  Line 109
109                (say("\n!! "^p^" cannot be applied to the DeBruijn form !!\n");                (say("\n!! "^p^" cannot be applied to the DeBruijn form !!\n");
110                 (f, fi, fk, l))                 (f, fi, fk, l))
111
112              | ("fcontract",_)           => (fcontract f,  fi, fk, p)              | ("fcontract",_)           =>
113                  (fcontract {etaSplit=false, tfnInline=false} f,  fi, fk, p)
114                | ("fcontract+eta",_)       =>
115                  (fcontract {etaSplit=true, tfnInline=false} f,  fi, fk, p)
116              | ("lcontract",_)           => (lcontract f,  fi, fk, p)              | ("lcontract",_)           => (lcontract 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)

Legend:
 Removed from v.251 changed lines Added in v.259