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

Diff of /sml/trunk/compiler/TopLevel/main/control.sml

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

revision 7382, Mon Nov 29 00:45:54 2021 UTC revision 7383, Mon Nov 29 00:55:05 2021 UTC
# Line 190  Line 190 
190      val saveCPSopt : bool ref = saveit      val saveCPSopt : bool ref = saveit
191      val saveClosure : bool ref = saveit      val saveClosure : bool ref = saveit
192    
 (* obsolete  
     structure LambdaSplitting = struct  
         datatype globalsetting = Off | Default of int option  
         type localsetting = int option option  
         val UseDefault : localsetting = NONE  
         fun Suggest s : localsetting = SOME s  
         fun parse "off" = SOME Off  
           | parse "on" = SOME (Default NONE)  
           | parse s = Option.map (Default o SOME) (Int.fromString s)  
         fun show Off = "off"  
           | show (Default NONE) = "on"  
           | show (Default (SOME i)) = Int.toString i  
         local  
             val registry = ControlRegistry.new  
                                { help = "cross-module inlining" }  
   
             val priority = [10, 10, 0, 1]  
   
             val _ = BasicControl.nest ("inline", registry, priority)  
   
             val cvt = { tyName = "Control.LambdaSplitting.globalsetting",  
                         fromString = parse, toString = show }  
             val state_r = ref (Default NONE)  
             val ctl = Controls.control  
                           { name = "split-aggressiveness",  
                             pri = [0],  
                             obscurity = 1,  
                             help = "aggressiveness of lambda-splitter",  
                             ctl = state_r }  
             val _ = ControlRegistry.register  
                         registry  
                         { ctl = Controls.stringControl cvt ctl,  
                           envName = SOME "INLINE_SPLIT_AGGRESSIVENESS" }  
         in  
             fun set x = Controls.set (ctl, x)  
             fun get () =  
                 case Controls.get ctl of  
                     Off => NONE  
                   | Default d => d  
             fun get' NONE = get ()  
               | get' (SOME a) =  
                 (case Controls.get ctl of  
                      Off => NONE  
                    | Default _ => a)  
         end  
       end (* LambdaSplitting *)  
 *)  
193      val tdp_instrument = TDPInstrument.enabled      val tdp_instrument = TDPInstrument.enabled
194    
195      end (* local *)      end (* local *)

Legend:
Removed from v.7382  
changed lines
  Added in v.7383

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