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/ElabData/main/edcontrol.sml
ViewVC logotype

View of /sml/trunk/src/compiler/ElabData/main/edcontrol.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1126 - (download) (annotate)
Thu Mar 7 21:16:28 2002 UTC (18 years, 5 months ago) by blume
File size: 645 byte(s)
implemented generic Controls module and used it for
all compiler flags/tuneable knobs/...;
more command-line options accepted (for setting the above controls);
some minor bug fixes
(* edcontrol.sml
 *
 * (C) 2001 Lucent Technologies, Bell Labs
 *)
structure ElabDataControl : ELABDATA_CONTROL = struct

    val m = Controls.module { name = "elaborator datastructures",
			      priority = [10, 10, 7],
			      obscurity = 6,
			      prefix = "ed-",
			      default_suffix = SOME "-default",
			      mk_ename = NONE }

    val b = Controls.registry m Controls.bool

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

    val saveLvarNames = new ("save-lvar-names", "?", false)
    val eedebugging = new ("ee-debugging", "?", false)
    val mudebugging = new ("mu-debugging", "?", false)
end

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