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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1200, Fri May 17 19:53:41 2002 UTC revision 1201, Fri May 17 20:48:38 2002 UTC
# Line 7  Line 7 
7  structure ElabControl = struct  structure ElabControl = struct
8    
9      local      local
10          val m0 = Controls.registry { name = "elaborator flags",          val priority = [10, 10, 7]
11                                       priority = [10, 10, 8],          val clear = 2
12                                       obscurity = 6,          val obscure = 6
13                                       prefix = "elab-",          val prefix = "elab"
14                                       default_suffix = SOME "-default",  
15                                       mk_ename = NONE }          val registry = ControlRegistry.new { help = "elaborator flags" }
16    
17          val m = Controls.registry { name = "elaborator flags",          val _ = BasicControl.nest (prefix, registry)
18                                      priority = [10, 10, 8],  
19                                      obscurity = 2,          val bool_cvt = { tyName = "bool",
20                                      prefix = "elab-",                           fromString = Bool.fromString,
21                                      default_suffix = SOME "-default",                           toString = Bool.toString }
22                                      mk_ename = NONE }  
23            fun new ob (n, e, h, d) = let
24          val b0 = Controls.group m0 Controls.bool              val r = ref d
25          val b = Controls.group m Controls.bool              val ctl = Controls.control { name = n,
26                                             pri = priority,
27                                             obscurity = ob,
28                                             help = h,
29                                             ctl = r }
30            in
31                ControlRegistry.register
32                    registry
33                    { ctl = Controls.stringControl bool_cvt ctl,
34                      envName = SOME ("ELAB_" ^ e) };
35                r
36            end
37    
38          fun new (r, s, d, f) =          val cnew = new clear
39              Controls.new r { stem = s, descr = d, fallback = f }          val onew = new obscure
40      in      in
41    
42      val etdebugging = new (b0, "et-debugging", "?", false)      val etdebugging = onew ("et-debugging", "ET_DEBUGGING", "?", false)
43      val esdebugging = new (b0, "es-debugging", "?", false)      val esdebugging = onew ("es-debugging", "ES_DEBUGGING", "?", false)
44      val insdebugging = new (b0, "ins-debugging", "?", false)      val insdebugging = onew ("ins-debugging", "INS_DEBUGGING", "?", false)
45      val smdebugging = new (b0, "sm-debugging", "?", false)      val smdebugging = onew ("sm-debugging", "SM_DEBUGGING", "?", false)
46      val emdebugging = new (b0, "em-debugging", "?", false)      val emdebugging = onew ("em-debugging", "EM_DEBUGGING", "?", false)
47    
48      val internals = new (b0, "internals", "?", false)      val internals = onew ("internals", "INTERNALS", "?", false)
49    
50      val markabsyn = new (b0, "markabsyn", "?", true)      val markabsyn = onew ("markabsyn", "MARKABSYN", "?", true)
51    
52      val boxedconstconreps = new (b0, "boxedconstreps", "?", false)      val boxedconstconreps = onew ("boxedconstreps", "BOXEDCONSTREPS",
53                                      "?", false)
54    
55      val multDefWarn = new (b, "mult-def-warn", "?", false)      val multDefWarn = cnew ("mult-def-warn", "MULT_DEF_WARN", "?", false)
56      val shareDefError = new (b, "share-def-error", "?", true)      val shareDefError = cnew ("share-def-error", "SHARE_DEF_WARN", "?", true)
57      val valueRestrictionLocalWarn =      val valueRestrictionLocalWarn =
58          new (b, "value-restriction-local-warn", "?", false)          cnew ("value-restriction-local-warn", "VALUE_RESTRICTION_LOCAL_WARN",
59                  "?", false)
60      val valueRestrictionTopWarn =      val valueRestrictionTopWarn =
61          new (b, "value-restriction-top-warn", "?", true)          cnew ("value-restriction-top-warn", "VALUE_RESTRICTION_TOP_WARN",
62                  "?", true)
63      val instantiateSigs =      val instantiateSigs =
64          new (b0, "instantiate-sigs", "?", true)          onew ("instantiate-sigs", "INSTANTIATE_SIGS", "?", true)
65    
66      end      end
67  end  end

Legend:
Removed from v.1200  
changed lines
  Added in v.1201

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