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 300, Thu May 27 22:01:36 1999 UTC revision 301, Fri May 28 09:43:39 1999 UTC
# Line 16  Line 16 
16      val fromString : string -> primitive option      val fromString : string -> primitive option
17      val toString : primitive -> string      val toString : primitive -> string
18    
19      val pervasive : configuration -> GenericVC.Environment.environment      val reqpriv : primitive -> StringSet.set
     val corenv : configuration -> GenericVC.BareEnvironment.staticEnv  
20    
21      (* the domain of (lookup p) must always properly include (exports p) *)      (* the domain of (lookup p) must always properly include (exports p) *)
22      val exports : configuration -> primitive -> SymbolSet.set      val exports : configuration -> primitive -> SymbolSet.set
# Line 59  Line 58 
58    
59      fun toString BASIS = "basis"      fun toString BASIS = "basis"
60    
61      fun pervasive c = Dummy.f ()      val reqpriv_basis = StringSet.empty
62      fun corenv c = Dummy.f ()  
63        fun reqpriv BASIS = reqpriv_basis
64    
65      fun exports (cfg: configuration) p = #exports (cfg p)      fun exports (cfg: configuration) p = #exports (cfg p)
66      fun lookup (cfg: configuration) p = #lookup (cfg p)      fun lookup (cfg: configuration) p = #lookup (cfg p)
# Line 100  Line 100 
100      in      in
101          cfg          cfg
102      end      end
103      fun pidInfo c _ = Dummy.f ()      (* this doesn't make much sense yet -- there aren't any singular
104         * pids describing the basis *)
105        fun pidInfo c BASIS = let
106            val p = GenericVC.PersStamps.fromBytes
107                (Byte.stringToBytes "0123456789abcdef")
108        in
109            { statpid = p, sympid = p, ctxt = GenericVC.CMStaticEnv.empty }
110        end
111  end  end

Legend:
Removed from v.300  
changed lines
  Added in v.301

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