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 173, Sat Jul 24 15:37:50 2010 UTC revision 229, Wed Aug 4 15:46:08 2010 UTC
# Line 13  Line 13 
13    
14      datatype var = datatype AST.var      datatype var = datatype AST.var
15    
16      datatype program = Prog of {      datatype program = Program of {
17          globals : var list,          globals : var list,
18          globalInit : stmt,          staticInit : block,     (* initialization code that gets run at compile time *)
19            globalInit : block,
20          actors : actor list          actors : actor list
21          (* initialization *)          (* initialization *)
22        }        }
# Line 24  Line 25 
25          name : Atom.atom,          name : Atom.atom,
26          params : var list,          params : var list,
27          state : var list,          state : var list,
28          stateInit : stmt,          stateInit : block,
29          methods : method list          methods : method list
30        }        }
31    
32      and method      and method = Method of Atom.atom * block
33        = M_Method of Atom.atom * stmt  
34        and block = Block of stmt list
35    
36      and stmt      and stmt
37        = S_Block of stmt list        = S_Assign of var * exp
38        | S_Assign of var * exp        | S_IfThenElse of var * block * block
       | S_IfThenElse of var * stmt * stmt  
39        | S_New of Atom.atom * var list        | S_New of Atom.atom * var list
40        | S_Die        | S_Die
41        | S_Stabilize        | S_Stabilize
# Line 45  Line 46 
46        | E_Tuple of var list        | E_Tuple of var list
47        | E_Apply of var * Types.meta_var list * var list * Types.ty        | E_Apply of var * Types.meta_var list * var list * Types.ty
48        | E_Cons of var list        | E_Cons of var list
49          | E_Input of Types.ty * string * var option
50          | E_Field of FieldDef.field_def
51          | E_LoadImage of ImageInfo.info
52    
53      and create = C_Create of {      and create = C_Create of {
54          argInit : stmt,          argInit : block,
55          name : Atom.atom,          name : Atom.atom,
56          args : var list          args : var list
57        }        }
58    
59      and iter = I_Range of {      and iter = I_Range of {
60          rangeInit : stmt,          rangeInit : block,
61          param : var,          param : var,
62          lo : var,          lo : var,
63          hi : var          hi : var

Legend:
Removed from v.173  
changed lines
  Added in v.229

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