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/trunk/src/compiler/TopLevel/main/control.sig
ViewVC logotype

Annotation of /sml/trunk/src/compiler/TopLevel/main/control.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 879 - (view) (download) (as text)

1 : blume 879 (* 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 MCCONTROL =
19 :     sig
20 :     val printArgs : bool ref
21 :     val printRet : bool ref
22 :     val bindNoVariableWarn : bool ref
23 :     val bindNonExhaustiveWarn : bool ref
24 :     val matchNonExhaustiveWarn : bool ref
25 :     val matchNonExhaustiveError : bool ref
26 :     val matchRedundantWarn : bool ref
27 :     val matchRedundantError : bool ref
28 :     val expandResult : bool ref
29 :     end
30 :    
31 :     signature FLINTCONTROL =
32 :     sig
33 :     val print : bool ref
34 :     val printPhases : bool ref
35 :     val printFctTypes : bool ref
36 :     val phases : string list ref
37 :    
38 :     val inlineThreshold : int ref
39 :     (* val splitThreshold : int ref *)
40 :     val unrollThreshold : int ref
41 :     val maxargs : int ref (* to put a cap on arity raising *)
42 :     val dropinvariant : bool ref
43 :    
44 :     val specialize : bool ref
45 :     (* val liftLiterals : bool ref *)
46 :     val sharewrap : bool ref
47 :     val saytappinfo : bool ref (* for verbose typelifting *)
48 :    
49 :     (* only for temporary debugging *)
50 :     val misc : int ref
51 :    
52 :     (* FLINT internal type-checking controls *)
53 :     val check : bool ref
54 :     val checkDatatypes : bool ref
55 :     val checkKinds : bool ref
56 :     end
57 :    
58 :     signature CGCONTROL =
59 :     sig
60 :     val tailrecur : bool ref
61 :     val recordopt : bool ref
62 :     val tail : bool ref
63 :     val allocprof : bool ref
64 :     val closureprint : bool ref
65 :     val closureStrategy : int ref
66 :     val lambdaopt : bool ref
67 :     val cpsopt : string list ref (* list of cpsopt phases *)
68 :     val rounds : int ref
69 :     val path : bool ref
70 :     val betacontract : bool ref
71 :     val eta : bool ref
72 :     val selectopt : bool ref
73 :     val dropargs : bool ref
74 :     val deadvars : bool ref
75 :     val flattenargs : bool ref
76 :     val extraflatten : bool ref
77 :     val switchopt : bool ref
78 :     val handlerfold : bool ref
79 :     val branchfold : bool ref
80 :     val arithopt : bool ref
81 :     val betaexpand : bool ref
82 :     val unroll : bool ref
83 :     val knownfiddle : bool ref
84 :     val invariant: bool ref
85 :     val targeting: int ref
86 :     val lambdaprop: bool ref
87 :     val newconreps : bool ref
88 :     val boxedconstconreps : bool ref
89 :     val sharepath : bool ref
90 :     val staticprof : bool ref
91 :     val unroll_recur : bool ref
92 :     val hoistup : bool ref
93 :     val hoistdown : bool ref
94 :     val recordcopy : bool ref
95 :     val recordpath : bool ref
96 :     val debugcps : bool ref
97 :     val misc4 : int ref
98 :     val argrep : bool ref
99 :     val bodysize : int ref
100 :     val reducemore : int ref
101 :     val alphac : bool ref
102 :     val comment : bool ref
103 :     val knownGen : int ref
104 :     val knownClGen : int ref
105 :     val escapeGen : int ref
106 :     val calleeGen : int ref
107 :     val spillGen : int ref
108 :     val foldconst : bool ref
109 :     val etasplit : bool ref
110 :     val printit : bool ref
111 :     val printsize : bool ref
112 :     val scheduling : bool ref
113 :     val cse : bool ref
114 :     val optafterclosure : bool ref
115 :     val uncurry : bool ref
116 :     val ifidiom : bool ref
117 :     val comparefold : bool ref
118 :     val csehoist : bool ref
119 :     val rangeopt : bool ref
120 :     val icount : bool ref
121 :     val debugRep : bool ref
122 :     val checklty1 : bool ref
123 :     val checklty2 : bool ref
124 :     val checklty3 : bool ref
125 :     val checkcps1 : bool ref
126 :     val checkcps2 : bool ref
127 :     val checkcps3 : bool ref
128 :     val checkcps : bool ref
129 :     val flatfblock : bool ref
130 :     val deadup : bool ref
131 :     val pollChecks : bool ref
132 :     val pollRatioAtoI : real ref
133 :    
134 :     val printFlowgraphStream : TextIO.outstream ref
135 :     val memDisambiguate : bool ref
136 :     val controlDependence : bool ref
137 :    
138 :     val compdebugging : bool ref
139 :     val mudebugging : bool ref
140 :     val eedebugging : bool ref
141 :     val insdebugging : bool ref
142 :     val smdebugging : bool ref
143 :     val emdebugging : bool ref
144 :     val esdebugging : bool ref
145 :     val etdebugging : bool ref
146 :     val ecdebugging : bool ref
147 :     val tmdebugging : bool ref
148 :     end
149 :    
150 :     signature CONTROL =
151 :     sig
152 :     structure MC : MCCONTROL
153 :     structure CG : CGCONTROL
154 :     structure MLRISC : MLRISC_CONTROL
155 :     structure Print : PRINTCONTROL
156 :     structure FLINT : FLINTCONTROL
157 :     val debugging : bool ref
158 :     val primaryPrompt : string ref
159 :     val secondaryPrompt : string ref
160 :     val printWarnings : bool ref
161 :     (* if false, suppress all warning messages *)
162 :     val valueRestrictionLocalWarn : bool ref (* default false *)
163 :     (* warning message on failure of value restriction in local decls *)
164 :     val valueRestrictionTopWarn : bool ref (* default true *)
165 :     (* warning message on failure of value restriction at top level *)
166 :     val multDefWarn : bool ref (* default false *)
167 :     (* warning messages for multiple defs in sigs *)
168 :     val shareDefError : bool ref (* default true *)
169 :     (* error (true) or warning (false) for defs in sharing constraints *)
170 :     val instantiateSigs : bool ref (* default true *)
171 :     (* check signatures at declaration by instantiating them *)
172 :     val internals : bool ref (* default false *)
173 :     (* print internal representations of types at top level *)
174 :     val lazysml : bool ref (* default false *)
175 :     (* turn on lazy keywords and lazy declaration processing *)
176 :     val interp : bool ref
177 :     (* turn on interpreter -- defunct *)
178 :     (*
179 :     val debugLook : bool ref
180 :     val debugCollect : bool ref
181 :     val debugBind : bool ref
182 :     *)
183 :     val saveLambda : bool ref
184 :     val saveLvarNames : bool ref
185 :     val preserveLvarNames : bool ref
186 :     val markabsyn : bool ref
187 :     val trackExn : bool ref
188 :     val polyEqWarn : bool ref
189 :     val indexing : bool ref
190 :     val instSigs : bool ref
191 :     val quotation : bool ref
192 :     val overloadKW : bool ref
193 :    
194 :     val saveit : bool ref
195 :     val saveAbsyn : bool ref
196 :     val saveConvert : bool ref
197 :     val saveCPSopt : bool ref
198 :     val saveClosure : bool ref
199 :    
200 :     structure LambdaSplitting : sig
201 :     datatype globalsetting =
202 :     Off (* completely disabled *)
203 :     | Default of int option (* default aggressiveness; NONE: off *)
204 :     type localsetting = int option option
205 :     val UseDefault : localsetting
206 :     val Suggest : int option -> localsetting
207 :     val set : globalsetting -> unit
208 :     val get : unit -> int option
209 :     val get' : localsetting -> int option
210 :     end
211 :     end

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