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 460, Wed Nov 3 02:23:44 1999 UTC revision 461, Thu Nov 4 08:06:56 1999 UTC
# Line 12  Line 12 
12      type primitive      type primitive
13    
14      type pidInfo = { statpid: GenericVC.PersStamps.persstamp,      type pidInfo = { statpid: GenericVC.PersStamps.persstamp,
15                       sympid: GenericVC.PersStamps.persstamp }                       sympid: GenericVC.PersStamps.persstamp,
16                         ctxt: GenericVC.ModuleId.Set.set }
17    
18      val eq : primitive * primitive -> bool      val eq : primitive * primitive -> bool
19    
# Line 50  Line 51 
51    
52      type primitive = string      type primitive = string
53    
54      type pidInfo = { statpid: PS.persstamp, sympid: PS.persstamp }      type pidInfo =
55            { statpid: PS.persstamp, sympid: PS.persstamp,
56              ctxt: GenericVC.ModuleId.Set.set }
57    
58      type pinfo = { name: string,      type pinfo = { name: string,
59                     exports: SymbolSet.set,                     exports: SymbolSet.set,
# Line 91  Line 94 
94    
95      fun iinfo c p = let      fun iinfo c p = let
96          val e = env c p          val e = env c p
97          val { statpid, sympid, ... } = pidInfo c p          val { statpid, sympid, ctxt } = pidInfo c p
98          val ste = E.staticPart e          val ste = E.staticPart e
99          val sye = E.symbolicPart e          val sye = E.symbolicPart e
100      in      in
101          { statenv = fn () => ste,          { statenv = fn () => { env = ste, ctxt = ctxt },
102            symenv = fn () => sye,            symenv = fn () => sye,
103            statpid = statpid,            statpid = statpid,
104            sympid = sympid }            sympid = sympid }
# Line 141  Line 144 
144                                        symbolic = E.symbolicPart E.emptyEnv,                                        symbolic = E.symbolicPart E.emptyEnv,
145                                        dynamic = E.dynamicPart E.emptyEnv },                                        dynamic = E.dynamicPart E.emptyEnv },
146                        pidInfo = { statpid = bogusPid,                        pidInfo = { statpid = bogusPid,
147                                    sympid = bogusPid } }                                    sympid = bogusPid,
148                                      ctxt = GenericVC.ModuleId.Set.empty } }
149      in      in
150          configuration [pspec]          configuration [pspec]
151      end      end

Legend:
Removed from v.460  
changed lines
  Added in v.461

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