Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/options/ctl.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/options/ctl.sml

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

revision 3520, Sat Dec 19 15:49:06 2015 UTC revision 3521, Sat Dec 19 16:43:35 2015 UTC
# Line 75  Line 75 
75              help = "dump the SimpleAST to the log file",              help = "dump the SimpleAST to the log file",
76              default = false              default = false
77            }            }
78      val dumpHighIL = C.genControl {      val dumpHighIR = C.genControl {
79              name = "dump-high",              name = "dump-high",
80              pri = [3, 3],              pri = [3, 3],
81              obscurity = 5,              obscurity = 5,
82              help = "dump the HighIL to the log file",              help = "dump the HighIR to the log file",
83              default = false              default = false
84            }            }
85      val dumpMidIl = C.genControl {      val dumpMidIR = C.genControl {
86              name = "dump-mid",              name = "dump-mid",
87              pri = [3, 4],              pri = [3, 4],
88              obscurity = 5,              obscurity = 5,
89              help = "dump the MidIL to the log file",              help = "dump the MidIR to the log file",
90              default = false              default = false
91            }            }
92      val dumpLowIL = C.genControl {      val dumpLowIR = C.genControl {
93              name = "dump-low",              name = "dump-low",
94              pri = [3, 5],              pri = [3, 5],
95              obscurity = 5,              obscurity = 5,
96              help = "dump the LowIL to the log file",              help = "dump the LowIR to the log file",
97              default = false              default = false
98            }            }
99      val dumpTreeIL = C.genControl {      val dumpTreeIR = C.genControl {
100              name = "dump-tree",              name = "dump-tree",
101              pri = [3, 6],              pri = [3, 6],
102              obscurity = 5,              obscurity = 5,
103              help = "dump the TreeIL to the log file",              help = "dump the TreeIR to the log file",
104              default = false              default = false
105            }            }
106      val dumpControls = [dumpPT, dumpAST, dumpSimple, dumpHighIL, dumpMidIl, dumpLowIL, dumpTreeIL]      val dumpControls = [dumpPT, dumpAST, dumpSimple, dumpHighIR, dumpMidIR, dumpLowIR, dumpTreeIR]
107      val dumpAll = ref false      val dumpAll = ref false
108    
109      val checkAST = C.genControl {      val checkAST = C.genControl {
# Line 120  Line 120 
120              help = "check the SimpleAST",              help = "check the SimpleAST",
121              default = false              default = false
122            }            }
123      val checkHighIL = C.genControl {      val checkHighIR = C.genControl {
124              name = "check-high",              name = "check-high",
125              pri = [4, 3],              pri = [4, 3],
126              obscurity = 5,              obscurity = 5,
127              help = "check the HighIL",              help = "check the HighIR",
128              default = false              default = false
129            }            }
130      val checkMidIl = C.genControl {      val checkMidIR = C.genControl {
131              name = "check-mid",              name = "check-mid",
132              pri = [4, 4],              pri = [4, 4],
133              obscurity = 5,              obscurity = 5,
134              help = "check the MidIL",              help = "check the MidIR",
135              default = false              default = false
136            }            }
137      val checkLowIL = C.genControl {      val checkLowIR = C.genControl {
138              name = "check-low",              name = "check-low",
139              pri = [4, 5],              pri = [4, 5],
140              obscurity = 5,              obscurity = 5,
141              help = "check the LowIL",              help = "check the LowIR",
142              default = false              default = false
143            }            }
144      val checkTreeIL = C.genControl {      val checkTreeIR = C.genControl {
145              name = "check-tree",              name = "check-tree",
146              pri = [4, 6],              pri = [4, 6],
147              obscurity = 5,              obscurity = 5,
148              help = "check the TreeIL",              help = "check the TreeIR",
149              default = false              default = false
150            }            }
151      val checkControls = [checkAST, checkSimple, checkHighIL, checkMidIl, checkLowIL, checkTreeIL]      val checkControls = [checkAST, checkSimple, checkHighIR, checkMidIR, checkLowIR, checkTreeIR]
152      val checkAll = ref false      val checkAll = ref false
153    
154  (* after the controls have been set from the command line, we use this function  (* after the controls have been set from the command line, we use this function

Legend:
Removed from v.3520  
changed lines
  Added in v.3521

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