Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/branches/SMLNJ/src/compiler/TopLevel/viscomp/control.sig
ViewVC logotype

Annotation of /sml/branches/SMLNJ/src/compiler/TopLevel/viscomp/control.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 69 - (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 :     val printit : bool ref
102 :     val printsize : bool ref
103 :     val scheduling : bool ref
104 :     val cse : bool ref
105 :     val optafterclosure : bool ref
106 :     val uncurry : bool ref
107 :     val ifidiom : bool ref
108 :     val comparefold : bool ref
109 :     val csehoist : bool ref
110 :     val rangeopt : bool ref
111 :     val icount : bool ref
112 :     val debugRep : bool ref
113 :     val sharewrap : bool ref
114 :     val checklty1 : bool ref
115 :     val checklty2 : bool ref
116 :     val checklty3 : bool ref
117 :     val checkcps1 : bool ref
118 :     val checkcps2 : bool ref
119 :     val checkcps3 : bool ref
120 :     val checkcps : bool ref
121 :     val liftLiterals : bool ref
122 :     val flatfblock : bool ref
123 :     val deadup : bool ref
124 :     val pollChecks : bool ref
125 :     val pollRatioAtoI : real ref
126 :    
127 :     datatype mlrisc_phase =
128 :     NO_PHASE
129 :     | AFTER_INSTR_SEL
130 :     | AFTER_RA
131 :     | AFTER_SCHED
132 :     | PHASES of mlrisc_phase * mlrisc_phase
133 :     val printFlowgraph : mlrisc_phase ref
134 :     val printFlowgraphStream : TextIO.outstream ref
135 :    
136 :     val memDisambiguate : bool ref
137 :     val controlDependence : bool ref
138 :    
139 : monnier 69 (* FLINT internal type-checking controls *)
140 :     val checkFlint : bool ref
141 :     val checkDatatypes: bool ref
142 :     val checkKinds : bool ref
143 :    
144 : monnier 16 val compdebugging : bool ref
145 :     val mudebugging : bool ref
146 :     val eedebugging : bool ref
147 :     val insdebugging : bool ref
148 :     val smdebugging : bool ref
149 :     val emdebugging : bool ref
150 :     val esdebugging : bool ref
151 :     val etdebugging : bool ref
152 :     val ecdebugging : bool ref
153 :     val tmdebugging : bool ref
154 :     end
155 :    
156 :     signature CONTROL =
157 :     sig structure MC : MCCONTROL
158 :     structure Lazy : LAZYCONTROL
159 :     structure CG : CGCONTROL
160 :     structure MLRISC : MLRISC_CONTROL
161 :     structure Print : PRINTCONTROL
162 :     val debugging : bool ref
163 :     val primaryPrompt : string ref
164 :     val secondaryPrompt : string ref
165 :     val printWarnings : bool ref
166 :     val valueRestrictionLocalWarn : bool ref
167 :     val valueRestrictionTopWarn : bool ref
168 :     val instantiateSigs : bool ref
169 :     (* check signatures at declaration by instantiating them *)
170 :     val internals : bool ref
171 :     val interp : bool ref
172 :     (*
173 :     val debugLook : bool ref
174 :     val debugCollect : bool ref
175 :     val debugBind : bool ref
176 :     *)
177 :     val saveLambda : bool ref
178 :     val saveLvarNames : bool ref
179 :     val preserveLvarNames : bool ref
180 :     val markabsyn : bool ref
181 :     val trackExn : bool ref
182 :     val indexing : bool ref
183 :     val instSigs : bool ref
184 :     val quotation : bool ref
185 :     val overloadKW : bool ref
186 :    
187 :     val saveit : bool ref
188 :     val saveAbsyn : bool ref
189 :     val saveConvert : bool ref
190 :     val saveCPSopt : bool ref
191 :     val saveClosure : bool ref
192 :    
193 :     val lambdaSplitEnable: bool ref
194 :     val crossInlineEnable: bool ref
195 :     end
196 :    

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