Diff of /sml/trunk/src/compiler/TopLevel/viscomp/control.sml

Parent Directory | Revision Log | Patch

	revision 152, Sun Oct 11 17:48:39 1998 UTC	revision 153, Sun Oct 11 17:49:09 1998 UTC
#	Line 40	Line 40
40	structure FLINT =	structure FLINT =
41	struct	struct
42	val print               = ref false	val print               = ref false
43	val inlineThreshold     = ref 0 (* it's buggy *)	val inlineThreshold     = ref 20
44	val specialize          = ref true	val specialize          = ref true
45	val liftLiterals        = ref false (* true *)	val liftLiterals        = ref true
46	val sharewrap           = ref true	val sharewrap           = ref true
47
48		(* only for temporary debugging *)
49		val misc                = ref 0
50
51	(* FLINT internal type-checking controls *)	(* FLINT internal type-checking controls *)
52	val check               = ref true	val check               = ref true
53	val checkDatatypes      = ref true	val checkDatatypes      = ref true
54	val checkKinds          = ref true	val checkKinds          = ref true
	(* debugging *)
	val debugFContract      = ref false
55	end	end
56
57	structure CG : CGCONTROL =	structure CG : CGCONTROL =

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.152   changed lines   Added in v.153

---

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