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 360, Tue Jun 29 09:21:02 1999 UTC revision 398, Wed Aug 25 15:36:43 1999 UTC
# Line 30  Line 30 
30      val da_env : configuration -> primitive -> DAEnv.env      val da_env : configuration -> primitive -> DAEnv.env
31      val env : configuration -> primitive -> GenericVC.Environment.environment      val env : configuration -> primitive -> GenericVC.Environment.environment
32      val pidInfo : configuration -> primitive -> pidInfo      val pidInfo : configuration -> primitive -> pidInfo
33        val iinfo : configuration -> primitive -> IInfo.info
34    
35      type pspec = { name: string,      type pspec = { name: string,
36                     env: GenericVC.Environment.environment,                     env: GenericVC.Environment.environment,
# Line 90  Line 91 
91      val pidInfo = #pidInfo o' get      val pidInfo = #pidInfo o' get
92      val toIdent = #ident o' get      val toIdent = #ident o' get
93    
94        fun iinfo c p = let
95            val e = env c p
96            val { statpid, sympid, ... } = pidInfo c p
97            val ste = E.staticPart e
98            val sye = E.symbolicPart e
99        in
100            { statenv = fn () => ste,
101              symenv = fn () => sye,
102              statpid = statpid,
103              sympid = sympid }
104        end
105    
106      val reqpriv = StringSet.singleton o toString      val reqpriv = StringSet.singleton o toString
107    
108      fun fromIdent ((sm, v): configuration) c = let      fun fromIdent ((sm, v): configuration) c = let

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

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