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

Diff of /sml/trunk/src/cm/semant/primitive.sml

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

revision 358, Mon Jun 28 13:59:11 1999 UTC revision 360, Tue Jun 29 09:21:02 1999 UTC
# Line 36  Line 36 
36                     pidInfo: pidInfo }                     pidInfo: pidInfo }
37    
38      val configuration : pspec list -> configuration      val configuration : pspec list -> configuration
39    
40        val primEnvConf : configuration
41  end  end
42    
43  structure Primitive :> PRIMITIVE = struct  structure Primitive :> PRIMITIVE = struct
# Line 43  Line 45 
45      structure BE = GenericVC.BareEnvironment      structure BE = GenericVC.BareEnvironment
46      structure E = GenericVC.Environment      structure E = GenericVC.Environment
47      structure DE = DAEnv      structure DE = DAEnv
48        structure PS = GenericVC.PersStamps
49        structure SE = GenericVC.CMStaticEnv
50    
51      type primitive = string      type primitive = string
52    
53      type pidInfo = { statpid: GenericVC.PersStamps.persstamp,      type pidInfo = { statpid: PS.persstamp, sympid: PS.persstamp,
54                       sympid: GenericVC.PersStamps.persstamp,                       ctxt: E.staticEnv }
                      ctxt: GenericVC.Environment.staticEnv }  
55    
56      type pinfo = { name: string,      type pinfo = { name: string,
57                     exports: SymbolSet.set,                     exports: SymbolSet.set,
58                     da_env: DE.env,                     da_env: DE.env,
59                     env: GenericVC.Environment.environment,                     env: E.environment,
60                     pidInfo: pidInfo,                     pidInfo: pidInfo,
61                     ident: char }                     ident: char }
62    
63      type pspec = { name: string,      type pspec = { name: string,
64                     env: GenericVC.Environment.environment,                     env: E.environment,
65                     pidInfo: pidInfo }                     pidInfo: pidInfo }
66    
67      type configuration =      type configuration =
# Line 117  Line 120 
120      in      in
121          (sm, Vector.fromList (rev sl))          (sm, Vector.fromList (rev sl))
122      end      end
123    
124        val primEnvConf = let
125            (* We could actually go and calculate the actual pid of primEnv.
126             * But in reality it's pretty pointless to do so... *)
127            val bogusPid = PS.fromBytes (Byte.stringToBytes "0123456789abcdef")
128            val pspec = { name = "primitive",
129                          env = E.mkenv { static = E.primEnv,
130                                          symbolic = E.symbolicPart E.emptyEnv,
131                                          dynamic = E.dynamicPart E.emptyEnv },
132                          pidInfo = { statpid = bogusPid,
133                                      sympid = bogusPid,
134                                      ctxt = SE.empty } }
135        in
136            configuration [pspec]
137        end
138  end  end

Legend:
Removed from v.358  
changed lines
  Added in v.360

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