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

Diff of /sml/trunk/src/compiler/ElabData/main/edcontrol.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 4  Line 4 
4   *)   *)
5  structure ElabDataControl : ELABDATA_CONTROL = struct  structure ElabDataControl : ELABDATA_CONTROL = struct
6    
7      val m = Controls.module { name = "elaborator datastructures",      val m = Controls.registry { name = "elaborator datastructures",
8                                priority = [10, 10, 7],                                priority = [10, 10, 7],
9                                obscurity = 6,                                obscurity = 6,
10                                prefix = "ed-",                                prefix = "ed-",
11                                default_suffix = SOME "-default",                                default_suffix = SOME "-default",
12                                mk_ename = NONE }                                mk_ename = NONE }
13    
14      val b = Controls.registry m Controls.bool      val b = Controls.group m Controls.bool
15    
16      fun new (s, d, f) =      fun new (s, d, f) = Controls.new b { stem = s, descr = d, fallback = f }
         Controls.new_ref b { stem = s, descr = d, fallback = f }  
17    
18      val saveLvarNames = new ("save-lvar-names", "?", false)      val saveLvarNames = new ("save-lvar-names", "?", false)
19      val eedebugging = new ("ee-debugging", "?", false)      val eedebugging = new ("ee-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