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

Diff of /sml/trunk/src/compiler/FLINT/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  structure FLINT_Control (* : FLINTCONTROL *) =  structure FLINT_Control (* : FLINTCONTROL *) =
4  struct  struct
5     local     local
6         val m = Controls.module { name = "optimizer (FLINT) settings",         val m = Controls.registry { name = "optimizer (FLINT) settings",
7                                   priority = [10, 11, 1],                                   priority = [10, 11, 1],
8                                   obscurity = 5,                                   obscurity = 5,
9                                   prefix = "flint-",                                   prefix = "flint-",
10                                   default_suffix = SOME "-default",                                   default_suffix = SOME "-default",
11                                   mk_ename = NONE }                                   mk_ename = NONE }
12    
13         val flag_r = Controls.registry m Controls.bool         val flag_r = Controls.group m Controls.bool
14    
15         val int_r = Controls.registry m Controls.int         val int_r = Controls.group m Controls.int
16    
17         val stringList_r = Controls.registry m Controls.stringList         val stringList_r = Controls.group m Controls.stringList
18    
19         fun new (r, s, d, f) =         fun new (r, s, d, f) =
20             Controls.new_ref r { stem = s, descr = d, fallback = f }             Controls.new r { stem = s, descr = d, fallback = f }
21     in     in
22    
23      val print           = new (flag_r, "print", "show IR", false)      val print           = new (flag_r, "print", "show IR", 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