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 |
|
|
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) |