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 398, Wed Aug 25 15:36:43 1999 UTC revision 399, Thu Aug 26 09:55:09 1999 UTC
# Line 33  Line 33 
33          GP.info -> { group: GG.group, anyerrors: bool ref } -> GG.group option          GP.info -> { group: GG.group, anyerrors: bool ref } -> GG.group option
34  end  end
35    
36  functor StabilizeFn (val transfer_state : SmlInfo.info * BinInfo.info -> unit  functor StabilizeFn (val writeBFC : BinIO.outstream -> SmlInfo.info -> unit
                      val writeBFC: BinIO.outstream -> SmlInfo.info -> unit  
37                       val sizeBFC: SmlInfo.info -> int                       val sizeBFC: SmlInfo.info -> int
38                       val getII:  SmlInfo.info -> IInfo.info                       val getII:  SmlInfo.info -> IInfo.info
39                         val destroy_state : SmlInfo.info -> unit
40                       val recomp : recomp) :> STABILIZE = struct                       val recomp : recomp) :> STABILIZE = struct
41    
42      structure SSMap = BinaryMapFn      structure SSMap = BinaryMapFn
# Line 396  Line 396 
396                                                 localimports = li,                                                 localimports = li,
397                                                 globalimports = gi }                                                 globalimports = gi }
398                          in                          in
399                              transfer_state (smlinfo, i);                              destroy_state smlinfo;
400                              m := SmlInfoMap.insert (!m, smlinfo, n);                              m := SmlInfoMap.insert (!m, smlinfo, n);
401                              n                              n
402                          end                          end

Legend:
Removed from v.398  
changed lines
  Added in v.399

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