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 1144, Thu Mar 14 19:53:15 2002 UTC revision 1145, Fri Mar 15 02:30:53 2002 UTC
# Line 7  Line 7 
7  structure ElabControl = struct  structure ElabControl = struct
8    
9      local      local
10          val m0 = Controls.module { name = "elaborator flags",          val m0 = Controls.registry { name = "elaborator flags",
11                                     priority = [10, 10, 8],                                     priority = [10, 10, 8],
12                                     obscurity = 6,                                     obscurity = 6,
13                                     prefix = "elab-",                                     prefix = "elab-",
14                                     default_suffix = SOME "-default",                                     default_suffix = SOME "-default",
15                                     mk_ename = NONE }                                     mk_ename = NONE }
16    
17          val m = Controls.module { name = "elaborator flags",          val m = Controls.registry { name = "elaborator flags",
18                                    priority = [10, 10, 8],                                    priority = [10, 10, 8],
19                                    obscurity = 2,                                    obscurity = 2,
20                                    prefix = "elab-",                                    prefix = "elab-",
21                                    default_suffix = SOME "-default",                                    default_suffix = SOME "-default",
22                                    mk_ename = NONE }                                    mk_ename = NONE }
23    
24          val b0 = Controls.registry m0 Controls.bool          val b0 = Controls.group m0 Controls.bool
25          val b = Controls.registry m Controls.bool          val b = Controls.group m Controls.bool
26    
27          fun new (r, s, d, f) =          fun new (r, s, d, f) =
28              Controls.new_ref r { stem = s, descr = d, fallback = f }              Controls.new r { stem = s, descr = d, fallback = f }
29      in      in
30    
31      val etdebugging = new (b0, "et-debugging", "?", false)      val etdebugging = new (b0, "et-debugging", "?", false)

Legend:
Removed from v.1144  
changed lines
  Added in v.1145

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