SCM Repository
Diff of /trunk/src/compiler/simplify/simple.sml
Parent Directory
| 
Revision Log
| 
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" |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
