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 398, Wed Aug 25 15:36:43 1999 UTC revision 460, Wed Nov 3 02:23:44 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 }
                      ctxt: GenericVC.Environment.staticEnv }  
16    
17      val eq : primitive * primitive -> bool      val eq : primitive * primitive -> bool
18    
# Line 51  Line 50 
50    
51      type primitive = string      type primitive = string
52    
53      type pidInfo = { statpid: PS.persstamp, sympid: PS.persstamp,      type pidInfo = { statpid: PS.persstamp, sympid: PS.persstamp }
                      ctxt: E.staticEnv }  
54    
55      type pinfo = { name: string,      type pinfo = { name: string,
56                     exports: SymbolSet.set,                     exports: SymbolSet.set,
# Line 143  Line 141 
141                                        symbolic = E.symbolicPart E.emptyEnv,                                        symbolic = E.symbolicPart E.emptyEnv,
142                                        dynamic = E.dynamicPart E.emptyEnv },                                        dynamic = E.dynamicPart E.emptyEnv },
143                        pidInfo = { statpid = bogusPid,                        pidInfo = { statpid = bogusPid,
144                                    sympid = bogusPid,                                    sympid = bogusPid } }
                                   ctxt = SE.empty } }  
145      in      in
146          configuration [pspec]          configuration [pspec]
147      end      end

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

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