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/TopLevel/main/control.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/TopLevel/main/control.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 3  Line 3 
3    
4  structure Control_MC : MCCONTROL =  structure Control_MC : MCCONTROL =
5  struct  struct
6      val m = Controls.module { name = "match-compiler settings",      val m = Controls.registry { name = "match-compiler settings",
7                                priority = [10, 10, 4],                                priority = [10, 10, 4],
8                                obscurity = 2,                                obscurity = 2,
9                                prefix = "compiler-mc-",                                prefix = "compiler-mc-",
10                                default_suffix = SOME "-default",                                default_suffix = SOME "-default",
11                                mk_ename = NONE }                                mk_ename = NONE }
12    
13      val r = Controls.registry m Controls.bool      val r = Controls.group m Controls.bool
14    
15      fun flag (s, d, f) = Controls.new_ref      fun flag (s, d, f) = Controls.new
16                               r { stem = s, descr = d, fallback = f }                               r { stem = s, descr = d, fallback = f }
17    
18      val printArgs = flag ("print-args", "arguments print mode", false)      val printArgs = flag ("print-args", "arguments print mode", false)
# Line 52  Line 52 
52    
53  structure Control_CG : CGCONTROL =  structure Control_CG : CGCONTROL =
54  struct  struct
55      val m = Controls.module { name = "code generator settings",      val m = Controls.registry { name = "code generator settings",
56                                priority = [10, 11, 2],                                priority = [10, 11, 2],
57                                obscurity = 6,                                obscurity = 6,
58                                prefix = "cg-",                                prefix = "cg-",
59                                default_suffix = SOME "-default",                                default_suffix = SOME "-default",
60                                mk_ename = NONE }                                mk_ename = NONE }
61    
62      val b = Controls.registry m Controls.bool      val b = Controls.group m Controls.bool
63    
64      val i = Controls.registry m Controls.int      val i = Controls.group m Controls.int
65    
66      val r = Controls.registry m Controls.real      val r = Controls.group m Controls.real
67    
68      val sl = Controls.registry m Controls.stringList      val sl = Controls.group m Controls.stringList
69    
70      fun new (r, s, d, f) =      fun new (r, s, d, f) =
71          Controls.new_ref r { stem = s, descr = d, fallback = f }          Controls.new r { stem = s, descr = d, fallback = f }
72    
73      val tailrecur = new (b, "tailrecur", "?", true)      val tailrecur = new (b, "tailrecur", "?", true)
74      val recordopt = new (b, "recordopt", "?", true)      val recordopt = new (b, "recordopt", "?", true)
# Line 170  Line 170 
170    struct    struct
171    
172      local      local
173          val m = Controls.module { name = "miscellaneous control settings",          val m = Controls.registry { name = "miscellaneous control settings",
174                                    priority = [10, 10, 9],                                    priority = [10, 10, 9],
175                                    obscurity = 4,                                    obscurity = 4,
176                                    prefix = "control-",                                    prefix = "control-",
177                                    default_suffix = SOME "-default",                                    default_suffix = SOME "-default",
178                                    mk_ename = NONE }                                    mk_ename = NONE }
179    
180          val b = Controls.registry m Controls.bool          val b = Controls.group m Controls.bool
181    
182          fun new (r, s, d, f) =          fun new (r, s, d, f) =
183              Controls.new_ref r { stem = s, descr = d, fallback = f }              Controls.new r { stem = s, descr = d, fallback = f }
184      in      in
185    
186      structure Print : PRINTCONTROL = Control_Print      structure Print : PRINTCONTROL = Control_Print
# Line 251  Line 251 
251            | show (Default NONE) = "on"            | show (Default NONE) = "on"
252            | show (Default (SOME i)) = Int.toString i            | show (Default (SOME i)) = Int.toString i
253          local          local
254              val m = Controls.module { name = "cross-module inlining",              val m = Controls.registry { name = "cross-module inlining",
255                                        priority = [10, 10, 0, 1],                                        priority = [10, 10, 0, 1],
256                                        obscurity = 1,                                        obscurity = 1,
257                                        prefix = "inline-",                                        prefix = "inline-",
258                                        default_suffix = SOME "-default",                                        default_suffix = SOME "-default",
259                                        mk_ename = NONE }                                        mk_ename = NONE }
260              val r = Controls.registry m              val r = Controls.group m
261                      { tname = "Control.LambdaSplitting.globalsetting",                      { tname = "Control.LambdaSplitting.globalsetting",
262                        parse = parse, show = show }                        fromString = parse, toString = show }
263              val state = Controls.new r              val state_r = Controls.new r
264                      { stem = "split-aggressiveness",                      { stem = "split-aggressiveness",
265                        descr = "aggressiveness of lambda-splitter",                        descr = "aggressiveness of lambda-splitter",
266                        fallback = Default NONE }                        fallback = Default NONE }
267                val state = Controls.ref2var state_r
268          in          in
269              val set = #set state              val set = #set state
270              fun get () =              fun get () =

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