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

Parent Directory | Revision Log | Patch

	revision 326, Thu Jun 10 06:08:29 1999 UTC	revision 327, Thu Jun 10 09:14:48 1999 UTC
#	Line 14	Line 14
14	structure BE = GenericVC.BareEnvironment	structure BE = GenericVC.BareEnvironment
15	structure CMSE = GenericVC.CMStaticEnv	structure CMSE = GenericVC.CMStaticEnv
16	structure S = GenericVC.Symbol	structure S = GenericVC.Symbol
17		structure CoerceEnv = GenericVC.CoerceEnv
18
19	(* For testing purposes, I need to have access to the old basis	(* For testing purposes, I need to have access to the old basis
20	* library.  This is done via the "primitives" mechanism.  Eventually,	* library.  This is done via the "primitives" mechanism.  Eventually,
#	Line 34	Line 35
35	val sym = E.symbolicPart e	val sym = E.symbolicPart e
36	val dyn = E.dynamicPart e	val dyn = E.dynamicPart e
37	val stat = E.staticPart e	val stat = E.staticPart e
38	val bstat = CMSE.unCM stat	val bstat = CoerceEnv.es2bs stat
39	fun f ((s, b), (mods, nomods)) =	fun f ((s, b), (mods, nomods)) =
40	case S.nameSpace s of	case S.nameSpace s of
41	(S.STRspace | S.SIGspace | S.FCTspace | S.FSIGspace) =>	(S.STRspace | S.SIGspace | S.FCTspace | S.FSIGspace) =>
#	Line 100	Line 101
101	val delta = E.mkenv { static = stat, symbolic = sym,	val delta = E.mkenv { static = stat, symbolic = sym,
102	dynamic = dyn }	dynamic = dyn }
103	val base = #get ER.topLevel ()	val base = #get ER.topLevel ()
104	val new = BE.concatEnv (ER.unCMenv delta, base)	val new = BE.concatEnv (CoerceEnv.e2b delta, base)
105	in	in
106	#set ER.topLevel new;	#set ER.topLevel new;
107	Say.vsay ["[New bindings added.]\n"];	Say.vsay ["[New bindings added.]\n"];
#	Line 147	Line 148
148	pcmode = pcmode,	pcmode = pcmode,
149	keep_going = true,	keep_going = true,
150	pervasive = perv,	pervasive = perv,
151	corenv = corenv }	corenv = corenv,
152		pervcorepids = PidSet.empty }
153	in	in
154	case Parse.parse param sflag p of	case Parse.parse param sflag p of
155	NONE => false	NONE => false
#	Line 160	Line 162
162	end	end
163
164	structure CMB = struct	structure CMB = struct
165	structure MkPrimPerv =	structure BootstrapCompile =
166	MkPrimPervFn (structure MachDepVC = HostMachDepVC)	BootstrapCompileFn (structure MachDepVC = HostMachDepVC)
167	fun setRetargetPervStatEnv x = ()	fun setRetargetPervStatEnv x = ()
168	fun wipeOut () = ()	fun wipeOut () = ()
169	fun make' _ = ()	fun make' _ = ()

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.326   changed lines   Added in v.327

---

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