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 398, Thu Oct 14 20:08:18 2010 UTC revision 399, Thu Oct 14 20:08:35 2010 UTC
# 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_Slice of var * var option list        (* tensor slicing *)        | E_Slice of var * var option list * Types.ty     (* tensor slicing *)
49        | E_Input of Types.ty * string * var option        | E_Input of Types.ty * string * var option
50        | E_Field of FieldDef.field_def        | E_Field of FieldDef.field_def
51        | E_LoadImage of ImageInfo.info        | E_LoadImage of ImageInfo.info
# Line 82  Line 82 
82              (* end case *)              (* end case *)
83            end            end
84        | typeOf (E_Cons[]) = raise Fail "impossible empty E_Cons"        | typeOf (E_Cons[]) = raise Fail "impossible empty E_Cons"
85        | typeOf (E_Slice(_, _)) = raise Fail "FIXME: E_Slice"        | typeOf (E_Slice(_, _, ty)) = ty
86        | typeOf (E_Input(ty, _, _)) = ty        | typeOf (E_Input(ty, _, _)) = ty
87        | typeOf (E_Field _) = raise Fail "FIXME: E_Field"        | typeOf (E_Field _) = raise Fail "FIXME: E_Field"
88        | typeOf (E_LoadImage _) = raise Fail "FIXME: E_LoadImage"        | typeOf (E_LoadImage _) = raise Fail "FIXME: E_LoadImage"

Legend:
Removed from v.398  
changed lines
  Added in v.399

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