SCM Repository
Annotation of /sml/trunk/src/compiler/TopLevel/viscomp/control.sig
Parent Directory
|
Revision Log
Revision 59 - (view) (download) (as text)
1 : | monnier | 16 | (* COPYRIGHT (c) 1995 AT&T Bell Laboratories *) |
2 : | (* control.sig *) | ||
3 : | |||
4 : | signature PRINTCONTROL = | ||
5 : | sig | ||
6 : | val printDepth : int ref | ||
7 : | val printLength : int ref | ||
8 : | val stringDepth : int ref | ||
9 : | val printLoop : bool ref | ||
10 : | val signatures : int ref | ||
11 : | val printOpens : bool ref | ||
12 : | val out : {say : string -> unit, flush : unit -> unit} ref | ||
13 : | val linewidth : int ref | ||
14 : | val say : string -> unit | ||
15 : | val flush: unit -> unit | ||
16 : | end | ||
17 : | |||
18 : | signature LAZYCONTROL = | ||
19 : | sig | ||
20 : | val enabled : bool ref (* enable/disable lazy features *) | ||
21 : | val printDebug: bool ref (* General Degubing Info *) | ||
22 : | val printStats: bool ref (* General Statistics *) | ||
23 : | val redGenFD1 : bool ref (* Reduce Generated Force-Delays at Ast Level *) | ||
24 : | val redGenFD2 : bool ref (* Reduce Generated Force-Delays at matchcomp *) | ||
25 : | val redAllFD1 : bool ref (* Reduce All Force-Delays at Ast Level *) | ||
26 : | val redAllFD2 : bool ref (* Reduce All Force-Delays at machcomp *) | ||
27 : | val inlineF : bool ref (* Inline Force *) | ||
28 : | val inlineD : bool ref (* Inline Delay *) | ||
29 : | val earlyDT : bool ref (* Early (Ast) Dollar translate *) | ||
30 : | val ok_MARK : bool ref (* Correct treatment of MARK in translate *) | ||
31 : | val earlyFP : bool ref (* Early fixity parsing *) | ||
32 : | end | ||
33 : | |||
34 : | signature MCCONTROL = | ||
35 : | sig | ||
36 : | val printArgs : bool ref | ||
37 : | val printRet : bool ref | ||
38 : | val bindContainsVar : bool ref | ||
39 : | val bindExhaustive : bool ref | ||
40 : | val matchNonExhaustiveWarn : bool ref | ||
41 : | val matchNonExhaustiveError : bool ref | ||
42 : | val matchRedundantWarn : bool ref | ||
43 : | val matchRedundantError : bool ref | ||
44 : | val expandResult : bool ref | ||
45 : | end | ||
46 : | |||
47 : | signature CGCONTROL = | ||
48 : | sig | ||
49 : | val tailrecur : bool ref | ||
50 : | val recordopt : bool ref | ||
51 : | val specialize : bool ref | ||
52 : | val tail : bool ref | ||
53 : | val allocprof : bool ref | ||
54 : | val closureprint : bool ref | ||
55 : | val closureStrategy : int ref | ||
56 : | val lambdaopt : bool ref | ||
57 : | val cpsopt : bool ref | ||
58 : | val rounds : int ref | ||
59 : | val path : bool ref | ||
60 : | val betacontract : bool ref | ||
61 : | val eta : bool ref | ||
62 : | val selectopt : bool ref | ||
63 : | val dropargs : bool ref | ||
64 : | val deadvars : bool ref | ||
65 : | val flattenargs : bool ref | ||
66 : | val extraflatten : bool ref | ||
67 : | val switchopt : bool ref | ||
68 : | val handlerfold : bool ref | ||
69 : | val branchfold : bool ref | ||
70 : | val arithopt : bool ref | ||
71 : | val betaexpand : bool ref | ||
72 : | val unroll : bool ref | ||
73 : | val knownfiddle : bool ref | ||
74 : | val invariant: bool ref | ||
75 : | val targeting: int ref | ||
76 : | val lambdaprop: bool ref | ||
77 : | val newconreps : bool ref | ||
78 : | val boxedconstconreps : bool ref | ||
79 : | val sharepath : bool ref | ||
80 : | val staticprof : bool ref | ||
81 : | val unroll_recur : bool ref | ||
82 : | val hoistup : bool ref | ||
83 : | val hoistdown : bool ref | ||
84 : | val recordcopy : bool ref | ||
85 : | val recordpath : bool ref | ||
86 : | val debugcps : bool ref | ||
87 : | val misc4 : int ref | ||
88 : | val argrep : bool ref | ||
89 : | val bodysize : int ref | ||
90 : | val reducemore : int ref | ||
91 : | val alphac : bool ref | ||
92 : | val comment : bool ref | ||
93 : | val knownGen : int ref | ||
94 : | val knownClGen : int ref | ||
95 : | val escapeGen : int ref | ||
96 : | val calleeGen : int ref | ||
97 : | val spillGen : int ref | ||
98 : | val foldconst : bool ref | ||
99 : | val etasplit : bool ref | ||
100 : | val printLambda : bool ref | ||
101 : | monnier | 51 | val printFlint : bool ref |
102 : | monnier | 16 | val printit : bool ref |
103 : | val printsize : bool ref | ||
104 : | val scheduling : bool ref | ||
105 : | val cse : bool ref | ||
106 : | val optafterclosure : bool ref | ||
107 : | val uncurry : bool ref | ||
108 : | val ifidiom : bool ref | ||
109 : | val comparefold : bool ref | ||
110 : | val csehoist : bool ref | ||
111 : | val rangeopt : bool ref | ||
112 : | val icount : bool ref | ||
113 : | val debugRep : bool ref | ||
114 : | val sharewrap : bool ref | ||
115 : | val checklty1 : bool ref | ||
116 : | val checklty2 : bool ref | ||
117 : | val checklty3 : bool ref | ||
118 : | val checkcps1 : bool ref | ||
119 : | val checkcps2 : bool ref | ||
120 : | val checkcps3 : bool ref | ||
121 : | val checkcps : bool ref | ||
122 : | val liftLiterals : bool ref | ||
123 : | val flatfblock : bool ref | ||
124 : | val deadup : bool ref | ||
125 : | val pollChecks : bool ref | ||
126 : | val pollRatioAtoI : real ref | ||
127 : | |||
128 : | datatype mlrisc_phase = | ||
129 : | NO_PHASE | ||
130 : | | AFTER_INSTR_SEL | ||
131 : | | AFTER_RA | ||
132 : | | AFTER_SCHED | ||
133 : | | PHASES of mlrisc_phase * mlrisc_phase | ||
134 : | val printFlowgraph : mlrisc_phase ref | ||
135 : | val printFlowgraphStream : TextIO.outstream ref | ||
136 : | |||
137 : | val memDisambiguate : bool ref | ||
138 : | val controlDependence : bool ref | ||
139 : | val flinton : bool ref | ||
140 : | |||
141 : | league | 59 | (* FLINT internal type-checking controls *) |
142 : | val checkFlint : bool ref | ||
143 : | val checkDatatypes : bool ref | ||
144 : | val checkKinds : bool ref | ||
145 : | |||
146 : | monnier | 16 | val compdebugging : bool ref |
147 : | val mudebugging : bool ref | ||
148 : | val eedebugging : bool ref | ||
149 : | val insdebugging : bool ref | ||
150 : | val smdebugging : bool ref | ||
151 : | val emdebugging : bool ref | ||
152 : | val esdebugging : bool ref | ||
153 : | val etdebugging : bool ref | ||
154 : | val ecdebugging : bool ref | ||
155 : | val tmdebugging : bool ref | ||
156 : | end | ||
157 : | |||
158 : | signature CONTROL = | ||
159 : | sig structure MC : MCCONTROL | ||
160 : | structure Lazy : LAZYCONTROL | ||
161 : | structure CG : CGCONTROL | ||
162 : | structure MLRISC : MLRISC_CONTROL | ||
163 : | structure Print : PRINTCONTROL | ||
164 : | val debugging : bool ref | ||
165 : | val primaryPrompt : string ref | ||
166 : | val secondaryPrompt : string ref | ||
167 : | val printWarnings : bool ref | ||
168 : | val valueRestrictionLocalWarn : bool ref | ||
169 : | val valueRestrictionTopWarn : bool ref | ||
170 : | val instantiateSigs : bool ref | ||
171 : | (* check signatures at declaration by instantiating them *) | ||
172 : | val internals : bool ref | ||
173 : | val interp : bool ref | ||
174 : | (* | ||
175 : | val debugLook : bool ref | ||
176 : | val debugCollect : bool ref | ||
177 : | val debugBind : bool ref | ||
178 : | *) | ||
179 : | val saveLambda : bool ref | ||
180 : | val saveLvarNames : bool ref | ||
181 : | val preserveLvarNames : bool ref | ||
182 : | val markabsyn : bool ref | ||
183 : | val trackExn : bool ref | ||
184 : | val indexing : bool ref | ||
185 : | val instSigs : bool ref | ||
186 : | val quotation : bool ref | ||
187 : | val overloadKW : bool ref | ||
188 : | |||
189 : | val saveit : bool ref | ||
190 : | val saveAbsyn : bool ref | ||
191 : | val saveConvert : bool ref | ||
192 : | val saveCPSopt : bool ref | ||
193 : | val saveClosure : bool ref | ||
194 : | |||
195 : | val lambdaSplitEnable: bool ref | ||
196 : | val crossInlineEnable: bool ref | ||
197 : | end | ||
198 : |
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |