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

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/simplify/simple.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/simplify/simple.sml

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

revision 175, Sat Jul 24 16:53:55 2010 UTC revision 221, Tue Aug 3 20:13:55 2010 UTC
# Line 15  Line 15 
15    
16      datatype program = Program of {      datatype program = Program of {
17          globals : var list,          globals : var list,
18          globalInit : stmt,          globalInit : block,
19          actors : actor list          actors : actor list
20          (* initialization *)          (* initialization *)
21        }        }
# Line 24  Line 24 
24          name : Atom.atom,          name : Atom.atom,
25          params : var list,          params : var list,
26          state : var list,          state : var list,
27          stateInit : stmt,          stateInit : block,
28          methods : method list          methods : method list
29        }        }
30    
31      and method      and method = Method of Atom.atom * block
32        = M_Method of Atom.atom * stmt  
33        and block = Block of stmt list
34    
35      and stmt      and stmt
36        = S_Block of stmt list        = S_Assign of var * exp
37        | S_Assign of var * exp        | S_IfThenElse of var * block * block
       | S_IfThenElse of var * stmt * stmt  
38        | S_New of Atom.atom * var list        | S_New of Atom.atom * var list
39        | S_Die        | S_Die
40        | S_Stabilize        | S_Stabilize
# Line 45  Line 45 
45        | E_Tuple of var list        | E_Tuple of var list
46        | E_Apply of var * Types.meta_var list * var list * Types.ty        | E_Apply of var * Types.meta_var list * var list * Types.ty
47        | E_Cons of var list        | E_Cons of var list
48          | E_Input of string * var option
49          | E_Field of FieldDef.field_def
50    
51      and create = C_Create of {      and create = C_Create of {
52          argInit : stmt,          argInit : block,
53          name : Atom.atom,          name : Atom.atom,
54          args : var list          args : var list
55        }        }
56    
57      and iter = I_Range of {      and iter = I_Range of {
58          rangeInit : stmt,          rangeInit : block,
59          param : var,          param : var,
60          lo : var,          lo : var,
61          hi : var          hi : var

Legend:
Removed from v.175  
changed lines
  Added in v.221

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