Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/compiler/Elaborator/basics/elabcontrol.sml
ViewVC logotype

View of /sml/trunk/src/compiler/Elaborator/basics/elabcontrol.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1145 - (download) (annotate)
Fri Mar 15 02:30:53 2002 UTC (17 years, 5 months ago) by blume
File size: 1591 byte(s)
moved Controls module into its own library;
changed Controls interface to make it saner;
made MLRISC independent of Controls;
minor changes to CM
(* elabcontrol.sml
 *
 * (C) 2001 Lucent Technologies, Bell Labs
 *
 * Flags controlling the elaborator.
 *)
structure ElabControl = struct

    local
	val m0 = Controls.registry { name = "elaborator flags",
				     priority = [10, 10, 8],
				     obscurity = 6,
				     prefix = "elab-",
				     default_suffix = SOME "-default",
				     mk_ename = NONE }

	val m = Controls.registry { name = "elaborator flags",
				    priority = [10, 10, 8],
				    obscurity = 2,
				    prefix = "elab-",
				    default_suffix = SOME "-default",
				    mk_ename = NONE }

	val b0 = Controls.group m0 Controls.bool
	val b = Controls.group m Controls.bool

	fun new (r, s, d, f) =
	    Controls.new r { stem = s, descr = d, fallback = f }
    in

    val etdebugging = new (b0, "et-debugging", "?", false)
    val esdebugging = new (b0, "es-debugging", "?", false)
    val insdebugging = new (b0, "ins-debugging", "?", false)
    val smdebugging = new (b0, "sm-debugging", "?", false)
    val emdebugging = new (b0, "em-debugging", "?", false)

    val internals = new (b0, "internals", "?", false)

    val markabsyn = new (b0, "markabsyn", "?", true)

    val boxedconstconreps = new (b0, "boxedconstreps", "?", false)

    val multDefWarn = new (b, "mult-def-warn", "?", false)
    val shareDefError = new (b, "share-def-error", "?", true)
    val valueRestrictionLocalWarn =
	new (b, "value-restriction-local-warn", "?", false)
    val valueRestrictionTopWarn =
	new (b, "value-restriction-top-warn", "?", true)
    val instantiateSigs =
	new (b0, "instantiate-sigs", "?", true)

    end
end

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