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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/ast/type-util.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/ast/type-util.sml

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

revision 690, Fri Mar 25 00:23:10 2011 UTC revision 691, Fri Mar 25 01:31:46 2011 UTC
# Line 64  Line 64 
64                   of NONE => ty                   of NONE => ty
65                    | SOME ty => prune ty                    | SOME ty => prune ty
66                  (* end case *))                  (* end case *))
67              | Ty.T_Array(ty, dim) => Ty.T_Array(prune ty, pruneDim dim)              | Ty.T_Sequence(ty, dim) => Ty.T_Sequence(prune ty, pruneDim dim)
68              | (Ty.T_Kernel diff) => Ty.T_Kernel(pruneDiff diff)              | (Ty.T_Kernel diff) => Ty.T_Kernel(pruneDiff diff)
69              | (Ty.T_Tensor shape) => Ty.T_Tensor(pruneShape shape)              | (Ty.T_Tensor shape) => Ty.T_Tensor(pruneShape shape)
70              | (Ty.T_Image{dim, shape}) => Ty.T_Image{              | (Ty.T_Image{dim, shape}) => Ty.T_Image{
# Line 134  Line 134 
134                   of NONE => ty                   of NONE => ty
135                    | SOME ty => prune' ty                    | SOME ty => prune' ty
136                  (* end case *))                  (* end case *))
137              | prune' (Ty.T_Array(ty, dim)) = Ty.T_Array(ty, pruneDim dim)              | prune' (Ty.T_Sequence(ty, dim)) = Ty.T_Sequence(ty, pruneDim dim)
138              | prune' (Ty.T_Kernel diff) = Ty.T_Kernel(pruneDiff diff)              | prune' (Ty.T_Kernel diff) = Ty.T_Kernel(pruneDiff diff)
139              | prune' (Ty.T_Tensor shape) = Ty.T_Tensor(pruneShape shape)              | prune' (Ty.T_Tensor shape) = Ty.T_Tensor(pruneShape shape)
140              | prune' (Ty.T_Image{dim, shape}) = Ty.T_Image{              | prune' (Ty.T_Image{dim, shape}) = Ty.T_Image{
# Line 183  Line 183 
183             of Ty.T_Bool => true             of Ty.T_Bool => true
184              | Ty.T_Int => true              | Ty.T_Int => true
185              | Ty.T_String => true              | Ty.T_String => true
186              | Ty.T_Array _ => true              | Ty.T_Sequence _ => true
187              | Ty.T_Tensor _ => true              | Ty.T_Tensor _ => true
188              | _ => false              | _ => false
189            (* end case *))            (* end case *))
# Line 193  Line 193 
193              | Ty.T_Bool => "bool"              | Ty.T_Bool => "bool"
194              | Ty.T_Int => "int"              | Ty.T_Int => "int"
195              | Ty.T_String => "string"              | Ty.T_String => "string"
196              | Ty.T_Array(ty, dim) => concat[toString ty, "[", dimToString dim, "]"]              | Ty.T_Sequence(ty, dim) => concat[toString ty, "[", dimToString dim, "]"]
197              | Ty.T_Kernel n => "kernel#" ^ diffToString n              | Ty.T_Kernel n => "kernel#" ^ diffToString n
198              | Ty.T_Tensor(Ty.Shape[]) => "real"              | Ty.T_Tensor(Ty.Shape[]) => "real"
199              | Ty.T_Tensor(Ty.Shape[Ty.DimConst 2]) => "vec2"              | Ty.T_Tensor(Ty.Shape[Ty.DimConst 2]) => "vec2"

Legend:
Removed from v.690  
changed lines
  Added in v.691

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