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 3349, Tue Oct 27 15:16:36 2015 UTC
# Line 1  Line 1 
1  (* target-env.sml  (* target-env.sml
2   *   *
3   * COPYRIGHT (c) 2011 The Diderot Project (http://diderot-language.cs.uchicago.edu)   * This code is part of the Diderot Project (http://diderot-language.cs.uchicago.edu)
4     *
5     * COPYRIGHT (c) 2015 The University of Chicago
6   * All rights reserved.   * All rights reserved.
7   *)   *)
8    
# Line 13  Line 15 
15        | GlobalScope        | GlobalScope
16        | InitiallyScope        | InitiallyScope
17        | StrandScope of TreeIL.var list  (* strand initialization *)        | StrandScope of TreeIL.var list  (* strand initialization *)
18        | 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 *)
19    
20    (* create a new environment *)    (* create a new environment *)
21      val new : 'info -> 'info env      val new : 'info -> 'info env
# Line 25  Line 27 
27    (* mark the strand initialization scope; the variables are strand state vars *)    (* mark the strand initialization scope; the variables are strand state vars *)
28      val scopeStrand : 'info env * TreeIL.var list -> 'info env      val scopeStrand : 'info env * TreeIL.var list -> 'info env
29    (* mark the strand method scope; the variables are strand state vars *)    (* mark the strand method scope; the variables are strand state vars *)
30      val scopeMethod : 'info env * MethodName.name * TreeIL.var list -> 'info env      val scopeMethod : 'info env * StrandUtil.method_name * TreeIL.var list -> 'info env
31    
32      val scope : 'info env -> scope      val scope : 'info env -> scope
33      val info : 'info env -> 'info      val info : 'info env -> 'info
# Line 49  Line 51 
51        | GlobalScope        | GlobalScope
52        | InitiallyScope        | InitiallyScope
53        | StrandScope of TreeIL.var list  (* strand initialization *)        | StrandScope of TreeIL.var list  (* strand initialization *)
54        | 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 *)
55    
56    (* create a new environment *)    (* create a new environment *)
57      fun new info = ENV{      fun new info = ENV{

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

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