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/cm/stable/stabilize.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/stable/stabilize.sml

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

revision 357, Mon Jun 28 08:46:30 1999 UTC revision 360, Tue Jun 29 09:21:02 1999 UTC
# Line 33  Line 33 
33    
34  functor StabilizeFn (val bn2statenv : statenvgetter  functor StabilizeFn (val bn2statenv : statenvgetter
35                       val getPid : SmlInfo.info -> pid option                       val getPid : SmlInfo.info -> pid option
36                       val warmup : BinInfo.info * pid -> unit                       val warmup : BinInfo.info * pid option -> unit
37                       val recomp : recomp) :> STABILIZE = struct                       val recomp : recomp) :> STABILIZE = struct
38    
39      datatype pitem =      datatype pitem =
# Line 95  Line 95 
95              val bsz = OS.FileSys.fileSize o bname              val bsz = OS.FileSys.fileSize o bname
96    
97              fun cpb s i = let              fun cpb s i = let
98                    val N = 4096
99                  fun copy ins = let                  fun copy ins = let
100                      fun cp () =                      fun cp () =
101                          if BinIO.endOfStream ins then ()                          if BinIO.endOfStream ins then ()
102                          else (BinIO.output (s, BinIO.input ins); cp ())                          else (BinIO.output (s, BinIO.inputN (ins, N));
103                                  cp ())
104                  in                  in
105                      cp ()                      cp ()
106                  end                  end
# Line 644  Line 646 
646              fun r_sn_raw () = let              fun r_sn_raw () = let
647                  val popt = r_option r_pid ()                  val popt = r_option r_pid ()
648                  val i = r_si ()                  val i = r_si ()
649                  val n = DG.BNODE { bininfo = i,              in
650                    warmup (i, popt);
651                    DG.BNODE { bininfo = i,
652                                     localimports = r_list r_sn (),                                     localimports = r_list r_sn (),
653                                     globalimports = r_list r_fsbn () }                                     globalimports = r_list r_fsbn () }
             in  
                 case popt of  
                     NONE => n  
                   | SOME p => (warmup (i, p); n)  
654              end              end
655    
656              and r_sn () =              and r_sn () =

Legend:
Removed from v.357  
changed lines
  Added in v.360

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