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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch 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' _ = ()

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