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 756, Thu Dec 14 16:01:33 2000 UTC revision 757, Thu Dec 21 14:54:56 2000 UTC
# Line 550  Line 550 
550                                  (SymbolMap.listItems exports),                                  (SymbolMap.listItems exports),
551                              sublibs)                              sublibs)
552    
553              fun writeBFC s i = BF.write { stream = s,              fun writeBFC s i = ignore (BF.write { stream = s,
554                                            content = getBFC i,                                            content = getBFC i,
555                                            nopickle = true }                                                    nopickle = true })
556              fun sizeBFC i = BF.size { content = getBFC i, nopickle = true }              fun sizeBFC i = BF.size { content = getBFC i, nopickle = true }
557              fun pidBFC i = BF.staticPidOf (getBFC i)              fun pidBFC i = BF.staticPidOf (getBFC i)
558    

Legend:
Removed from v.756  
changed lines
  Added in v.757

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