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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/simplify/simple.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/simplify/simple.sml

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

revision 516, Wed Feb 9 23:10:31 2011 UTC revision 517, Thu Feb 10 11:45:00 2011 UTC
# Line 49  Line 49 
49        | E_Cons of var list        | E_Cons of var list
50        | E_Slice of var * var option list * Types.ty     (* tensor slicing *)        | E_Slice of var * var option list * Types.ty     (* tensor slicing *)
51        | E_Input of Types.ty * string * var option        | E_Input of Types.ty * string * var option
       | E_Kernel of Kernel.kernel  
52        | E_LoadImage of ImageInfo.info * var        | E_LoadImage of ImageInfo.info * var
53    
54      and create = C_Create of {      and create = C_Create of {
# Line 86  Line 85 
85        | typeOf (E_Cons[]) = raise Fail "impossible empty E_Cons"        | typeOf (E_Cons[]) = raise Fail "impossible empty E_Cons"
86        | typeOf (E_Slice(_, _, ty)) = ty        | typeOf (E_Slice(_, _, ty)) = ty
87        | typeOf (E_Input(ty, _, _)) = ty        | typeOf (E_Input(ty, _, _)) = ty
       | typeOf (E_Kernel h) = raise Fail "FIXME: E_Kernel"  
88        | typeOf (E_LoadImage(ImageInfo.ImgInfo{dim, ty=(dd, _), ...}, _)) =        | typeOf (E_LoadImage(ImageInfo.ImgInfo{dim, ty=(dd, _), ...}, _)) =
89            Types.T_Image{            Types.T_Image{
90                dim = Types.DimConst dim,                dim = Types.DimConst dim,

Legend:
Removed from v.516  
changed lines
  Added in v.517

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