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

SCM Repository

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

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

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

revision 3384, Mon Nov 9 20:57:32 2015 UTC revision 3398, Wed Nov 11 01:17:58 2015 UTC
# Line 90  Line 90 
90                   of NONE => ty                   of NONE => ty
91                    | SOME ty => prune ty                    | SOME ty => prune ty
92                  (* end case *))                  (* end case *))
93              | Ty.T_Sequence(ty, dim) => Ty.T_Sequence(prune ty, pruneDim dim)              | Ty.T_Sequence(ty, NONE) => Ty.T_Sequence(prune ty, NONE)
94              | Ty.T_DynSequence ty => Ty.T_DynSequence(prune ty)              | Ty.T_Sequence(ty, SOME dim) => Ty.T_Sequence(prune ty, SOME(pruneDim dim))
95              | (Ty.T_Kernel diff) => Ty.T_Kernel(pruneDiff diff)              | (Ty.T_Kernel diff) => Ty.T_Kernel(pruneDiff diff)
96              | (Ty.T_Tensor shape) => Ty.T_Tensor(pruneShape shape)              | (Ty.T_Tensor shape) => Ty.T_Tensor(pruneShape shape)
97              | (Ty.T_Image{dim, shape}) => Ty.T_Image{              | (Ty.T_Image{dim, shape}) => Ty.T_Image{
# Line 166  Line 166 
166                   of NONE => ty                   of NONE => ty
167                    | SOME ty => prune' ty                    | SOME ty => prune' ty
168                  (* end case *))                  (* end case *))
169              | prune' (Ty.T_Sequence(ty, dim)) = Ty.T_Sequence(ty, pruneDim dim)              | prune' (Ty.T_Sequence(ty, NONE)) = Ty.T_Sequence(ty, NONE)
170              | prune' (Ty.T_DynSequence ty) = Ty.T_DynSequence ty              | prune' (Ty.T_Sequence(ty, SOME dim)) = Ty.T_Sequence(ty, SOME(pruneDim dim))
171              | prune' (Ty.T_Kernel diff) = Ty.T_Kernel(pruneDiff diff)              | prune' (Ty.T_Kernel diff) = Ty.T_Kernel(pruneDiff diff)
172              | prune' (Ty.T_Tensor shape) = Ty.T_Tensor(pruneShape shape)              | prune' (Ty.T_Tensor shape) = Ty.T_Tensor(pruneShape shape)
173              | prune' (Ty.T_Image{dim, shape}) = Ty.T_Image{              | prune' (Ty.T_Image{dim, shape}) = Ty.T_Image{
# Line 199  Line 199 
199              | Ty.T_Int => true              | Ty.T_Int => true
200              | Ty.T_String => true              | Ty.T_String => true
201              | Ty.T_Sequence _ => true              | Ty.T_Sequence _ => true
             | Ty.T_DynSequence _ => true  
202              | Ty.T_Tensor _ => true              | Ty.T_Tensor _ => true
203              | _ => false              | _ => false
204            (* end case *))            (* end case *))
# Line 247  Line 246 
246              | Ty.T_Bool => "bool"              | Ty.T_Bool => "bool"
247              | Ty.T_Int => "int"              | Ty.T_Int => "int"
248              | Ty.T_String => "string"              | Ty.T_String => "string"
249              | Ty.T_Sequence(ty, dim) => concat[toString ty, "[", dimToString dim, "]"]              | Ty.T_Sequence(ty, NONE) => concat[toString ty, "[]"]
250              | Ty.T_DynSequence ty => toString ty ^ "[]"              | Ty.T_Sequence(ty, SOME dim) => concat[toString ty, "[", dimToString dim, "]"]
251              | Ty.T_Named id => Atom.toString id              | Ty.T_Named id => Atom.toString id
252              | Ty.T_Kernel n => "kernel#" ^ diffToString n              | Ty.T_Kernel n => "kernel#" ^ diffToString n
253              | Ty.T_Tensor(Ty.Shape[]) => "real"              | Ty.T_Tensor(Ty.Shape[]) => "real"

Legend:
Removed from v.3384  
changed lines
  Added in v.3398

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