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/compiler/Semant/pickle/pickmod-new.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml

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

revision 587, Thu Mar 30 09:01:52 2000 UTC revision 588, Fri Mar 31 09:00:02 2000 UTC
# Line 25  Line 25 
25       *     fully embedded in the environment to be pickled.  However, we       *     fully embedded in the environment to be pickled.  However, we
26       *     must provide the original pid obtained from the first pickling       *     must provide the original pid obtained from the first pickling
27       *     because occurences of that pid have to be treated the same way       *     because occurences of that pid have to be treated the same way
28       *     it was treated in step 1.       *     their "not-yet-occurrences" had been treated in step 1.
29       *       *
30       *  3. A set of environments that have already gone through an initial       *  3. A set of environments that have already gone through an initial
31       *     pickling-and-unpickling is pickled as part of a stable library.       *     pickling-and-unpickling is pickled as part of a stable library.

Legend:
Removed from v.587  
changed lines
  Added in v.588

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