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

SCM Repository

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

Diff of /trunk/src/compiler/simplify/simple.sml

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

revision 191, Mon Aug 2 14:05:11 2010 UTC revision 192, Mon Aug 2 16:23:42 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 47  Line 47 
47        | E_Cons of var list        | E_Cons of var list
48    
49      and create = C_Create of {      and create = C_Create of {
50          argInit : stmt,          argInit : block,
51          name : Atom.atom,          name : Atom.atom,
52          args : var list          args : var list
53        }        }
54    
55      and iter = I_Range of {      and iter = I_Range of {
56          rangeInit : stmt,          rangeInit : block,
57          param : var,          param : var,
58          lo : var,          lo : var,
59          hi : var          hi : var

Legend:
Removed from v.191  
changed lines
  Added in v.192

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