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/TopLevel/viscomp/control.sig
ViewVC logotype

Diff of /sml/trunk/src/compiler/TopLevel/viscomp/control.sig

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

revision 121, Sat Jun 6 15:03:25 1998 UTC revision 122, Sat Jun 6 15:05:38 1998 UTC
# Line 28  Line 28 
28    val expandResult : bool ref    val expandResult : bool ref
29  end  end
30    
31    signature FLINTCONTROL =
32    sig
33        val print           : bool ref
34        val inlineThreshold : int ref
35        val specialize      : bool ref
36        val liftLiterals    : bool ref
37        val sharewrap       : bool ref
38    
39        (* FLINT internal type-checking controls *)
40        val check           : bool ref
41        val checkDatatypes  : bool ref
42        val checkKinds      : bool ref
43    
44        (* debugging *)
45        val debugFContract  : bool ref
46    end
47    
48  signature CGCONTROL =  signature CGCONTROL =
49  sig  sig
50    val tailrecur : bool ref    val tailrecur : bool ref
51    val recordopt : bool ref    val recordopt : bool ref
   val specialize : bool ref  
52    val tail : bool ref    val tail : bool ref
53    val allocprof : bool ref    val allocprof : bool ref
54    val closureprint : bool ref    val closureprint : bool ref
# Line 81  Line 97 
97    val spillGen : int ref    val spillGen : int ref
98    val foldconst : bool ref    val foldconst : bool ref
99    val etasplit : bool ref    val etasplit : bool ref
   val printFlint : bool ref  
100    val printit : bool ref    val printit : bool ref
101    val printsize : bool ref    val printsize : bool ref
102    val scheduling : bool ref    val scheduling : bool ref
# Line 94  Line 109 
109    val rangeopt : bool ref    val rangeopt : bool ref
110    val icount : bool ref    val icount : bool ref
111    val debugRep : bool ref    val debugRep : bool ref
   val sharewrap : bool ref  
112    val checklty1 : bool ref    val checklty1 : bool ref
113    val checklty2 : bool ref    val checklty2 : bool ref
114    val checklty3 : bool ref    val checklty3 : bool ref
# Line 102  Line 116 
116    val checkcps2 : bool ref    val checkcps2 : bool ref
117    val checkcps3 : bool ref    val checkcps3 : bool ref
118    val checkcps  : bool ref    val checkcps  : bool ref
   val liftLiterals : bool ref  
119    val flatfblock : bool ref    val flatfblock : bool ref
120    val deadup : bool ref    val deadup : bool ref
121    val pollChecks : bool ref    val pollChecks : bool ref
# Line 120  Line 133 
133    val memDisambiguate : bool ref    val memDisambiguate : bool ref
134    val controlDependence : bool ref    val controlDependence : bool ref
135    
   (* FLINT internal type-checking controls *)  
   val checkFlint    : bool ref  
   val checkDatatypes: bool ref  
   val checkKinds    : bool ref  
   
136    val compdebugging : bool ref    val compdebugging : bool ref
137    val mudebugging   : bool ref    val mudebugging   : bool ref
138    val eedebugging   : bool ref    val eedebugging   : bool ref
# Line 142  Line 150 
150         structure CG : CGCONTROL         structure CG : CGCONTROL
151         structure MLRISC : MLRISC_CONTROL         structure MLRISC : MLRISC_CONTROL
152         structure Print : PRINTCONTROL         structure Print : PRINTCONTROL
153           structure FLINT : FLINTCONTROL
154         val debugging : bool ref         val debugging : bool ref
155         val primaryPrompt : string ref         val primaryPrompt : string ref
156         val secondaryPrompt : string ref         val secondaryPrompt : string ref

Legend:
Removed from v.121  
changed lines
  Added in v.122

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