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/compile/exec.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/compile/exec.sml

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

revision 313, Thu Jun 3 09:26:34 1999 UTC revision 314, Fri Jun 4 06:41:45 1999 UTC
# Line 20  Line 20 
20      type env = (unit -> E.dynenv) * bool      type env = (unit -> E.dynenv) * bool
21      type benv = env      type benv = env
22      type envdelta = env      type envdelta = env
23        type result = E.dynenv
24    
25      fun layer ((d, n), (d', n')) = (fn () => DE.atop (d (), d'()), n orelse n')      fun layer ((d, n), (d', n')) = (fn () => DE.atop (d (), d'()), n orelse n')
26    
# Line 30  Line 31 
31      val bfilter = filter      val bfilter = filter
32      val bnofilter = nofilter      val bnofilter = nofilter
33    
34        val empty = DE.empty
35        fun env2result ((mkEnv, flag): env) = mkEnv ()
36        fun rlayer (r, r') = DE.atop (r, r')
37    
38      fun primitive (gp: GeneralParams.info) p =      fun primitive (gp: GeneralParams.info) p =
39          (fn () => E.dynamicPart (Primitive.env (#primconf (#param gp)) p),          (fn () => E.dynamicPart (Primitive.env (#primconf (#param gp)) p),
40           false)           false)

Legend:
Removed from v.313  
changed lines
  Added in v.314

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