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/compile/compile.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/compile/compile.sml

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

revision 403, Tue Aug 31 07:44:29 1999 UTC revision 432, Fri Sep 10 05:44:08 1999 UTC
# Line 211  Line 211 
211                           * it only happens when a stable library is                           * it only happens when a stable library is
212                           * replaced by a different one. *)                           * replaced by a different one. *)
213                          SOME { ii = ii, ctxt = #statenv ii }                          SOME { ii = ii, ctxt = #statenv ii }
214                    | DG.SB_SNODE n => snode gp n                    | DG.SB_SNODE n =>
215                            (case snode gp n of
216                                 NONE => NONE
217                               | SOME { ii, ... } =>
218                                     (* Now, unfortunately, because of the
219                                      * hack above (ctxt = ste) we must
220                                      * do the same thing here or we end up
221                                      * not being consistent. *)
222                                     SOME { ii = ii, ctxt = #statenv ii })
223    
224              and fsbnode gp (f, n) =              and fsbnode gp (f, n) =
225                  case (sbnode gp n, f) of                  case (sbnode gp n, f) of

Legend:
Removed from v.403  
changed lines
  Added in v.432

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