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

Parent Directory | Revision Log | Patch

	revision 258, Wed Apr 21 23:58:52 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)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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

---

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