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

SCM Repository

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

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

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

revision 2245, Sun Mar 3 12:51:51 2013 UTC revision 2246, Sun Mar 3 14:51:31 2013 UTC
# Line 24  Line 24 
24          globals : var list,          globals : var list,
25          globalInit : block,          globalInit : block,
26      globalBlock: block,      globalBlock: block,
27        globalReduce: block,
28          strands : strand list,          strands : strand list,
29          init : init                     (* block evaluates any vars used in init *)          init : init                     (* block evaluates any vars used in init *)
30        }        }
# Line 77  Line 78 
78        | E_Lit of Literal.literal        | E_Lit of Literal.literal
79        | E_Selector of  var * Atom.atom * Types.ty        | E_Selector of  var * Atom.atom * Types.ty
80        | E_StrandSet of strand_set list * Types.ty        | E_StrandSet of strand_set list * Types.ty
81        | E_Reduction of reduction * var * var * Types.ty        | E_Reduction of reduction * var * stmt list * var * Types.ty
82        | E_Tuple of var list        | E_Tuple of var list
83        | E_Apply of var * Types.meta_var list * var list * Types.ty        | E_Apply of var * Types.meta_var list * var list * Types.ty
84        | E_Cons of var list        | E_Cons of var list
# Line 97  Line 98 
98        | typeOf (E_Selector(v,f,ty)) = ty        | typeOf (E_Selector(v,f,ty)) = ty
99        | typeOf (E_Tuple _) = raise Fail "E_Tuple"        | typeOf (E_Tuple _) = raise Fail "E_Tuple"
100        | typeOf (E_StrandSet (_,ty)) = ty        | typeOf (E_StrandSet (_,ty)) = ty
101        | typeOf (E_Reduction(_,_,_,ty)) = ty        | typeOf (E_Reduction(_,_,_,_,ty)) = ty
102        | typeOf (E_Apply(_, _, _, ty)) = ty        | typeOf (E_Apply(_, _, _, ty)) = ty
103        | typeOf (E_Cons[]) = raise Fail "impossible empty E_Cons"        | typeOf (E_Cons[]) = raise Fail "impossible empty E_Cons"
104        | typeOf (E_Cons(x::xs)) = let        | typeOf (E_Cons(x::xs)) = let

Legend:
Removed from v.2245  
changed lines
  Added in v.2246

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