Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/codegen/target-env.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/codegen/target-env.sml

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

revision 1447, Tue Jul 12 13:19:04 2011 UTC revision 1505, Tue Sep 20 13:24:45 2011 UTC
# Line 13  Line 13 
13        | GlobalScope        | GlobalScope
14        | InitiallyScope        | InitiallyScope
15        | StrandScope of TreeIL.var list  (* strand initialization *)        | StrandScope of TreeIL.var list  (* strand initialization *)
16        | MethodScope of MethodName.name * TreeIL.var list  (* method body; vars are state variables *)        | MethodScope of StrandUtil.method_name * TreeIL.var list  (* method body; vars are state variables *)
17    
18    (* create a new environment *)    (* create a new environment *)
19      val new : 'info -> 'info env      val new : 'info -> 'info env
# Line 25  Line 25 
25    (* mark the strand initialization scope; the variables are strand state vars *)    (* mark the strand initialization scope; the variables are strand state vars *)
26      val scopeStrand : 'info env * TreeIL.var list -> 'info env      val scopeStrand : 'info env * TreeIL.var list -> 'info env
27    (* mark the strand method scope; the variables are strand state vars *)    (* mark the strand method scope; the variables are strand state vars *)
28      val scopeMethod : 'info env * MethodName.name * TreeIL.var list -> 'info env      val scopeMethod : 'info env * StrandUtil.method_name * TreeIL.var list -> 'info env
29    
30      val scope : 'info env -> scope      val scope : 'info env -> scope
31      val info : 'info env -> 'info      val info : 'info env -> 'info
# Line 49  Line 49 
49        | GlobalScope        | GlobalScope
50        | InitiallyScope        | InitiallyScope
51        | StrandScope of TreeIL.var list  (* strand initialization *)        | StrandScope of TreeIL.var list  (* strand initialization *)
52        | MethodScope of MethodName.name * TreeIL.var list  (* method body; vars are state variables *)        | MethodScope of StrandUtil.method_name * TreeIL.var list  (* method body; vars are state variables *)
53    
54    (* create a new environment *)    (* create a new environment *)
55      fun new info = ENV{      fun new info = ENV{

Legend:
Removed from v.1447  
changed lines
  Added in v.1505

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