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

Parent Directory | Revision Log | 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)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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