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

Parent Directory | Revision Log | Patch

	revision 431, Wed Sep 8 12:02:54 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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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

---

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