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 399, Thu Aug 26 09:55:09 1999 UTC revision 400, Thu Aug 26 16:23:37 1999 UTC
# Line 36  Line 36 
36  functor StabilizeFn (val writeBFC : BinIO.outstream -> SmlInfo.info -> unit  functor StabilizeFn (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                       val destroy_state : GP.info -> 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                              destroy_state smlinfo;                              destroy_state gp smlinfo;
400                              m := SmlInfoMap.insert (!m, smlinfo, n);                              m := SmlInfoMap.insert (!m, smlinfo, n);
401                              n                              n
402                          end                          end

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

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