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

SCM Repository

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

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

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

revision 1793, Thu Apr 5 09:53:28 2012 UTC revision 1992, Thu Sep 27 10:23:12 2012 UTC
# Line 73  Line 73 
73        | E_Cons of var list        | E_Cons of var list
74        | E_Seq of var list        | E_Seq of var list
75        | E_Slice of var * var option list * Types.ty     (* tensor slicing *)        | E_Slice of var * var option list * Types.ty     (* tensor slicing *)
76        | E_Input of Types.ty * string * string * var option        | E_Input of Types.ty * string * string * var option      (* args: ty, name, desc, dflt *)
77    (* deprecated
78        | E_LoadImage of ImageInfo.info * var        | E_LoadImage of ImageInfo.info * var
79    *)
80          | E_InputNrrd of Types.ty * string * string * string option
81        | E_Coerce of {srcTy : Types.ty, dstTy : Types.ty, x : var}        | E_Coerce of {srcTy : Types.ty, dstTy : Types.ty, x : var}
82    
83      fun typeOf (E_Var x) = Var.monoTypeOf x      fun typeOf (E_Var x) = Var.monoTypeOf x
# Line 105  Line 108 
108            end            end
109        | typeOf (E_Slice(_, _, ty)) = ty        | typeOf (E_Slice(_, _, ty)) = ty
110        | typeOf (E_Input(ty, _, _, _)) = ty        | typeOf (E_Input(ty, _, _, _)) = ty
111        | typeOf (E_LoadImage(info, _)) =        | typeOf (E_InputNrrd(ty, _, _, _)) = ty
112            Types.T_Image{        | typeOf (E_Coerce{dstTy, ...}) = dstTy
               dim = Types.DimConst(ImageInfo.dim info),  
               shape = Types.Shape(List.map Types.DimConst (ImageInfo.voxelShape info))  
             }  
113    
114    end    end

Legend:
Removed from v.1793  
changed lines
  Added in v.1992

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