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 3405, Wed Nov 11 14:46:13 2015 UTC revision 3428, Fri Nov 13 17:47:12 2015 UTC
# Line 194  Line 194 
194              | Ty.T_String => true              | Ty.T_String => true
195              | Ty.T_Sequence _ => true              | Ty.T_Sequence _ => true
196              | Ty.T_Tensor _ => true              | Ty.T_Tensor _ => true
197                | Ty.T_Error => true
198              | _ => false              | _ => false
199            (* end case *))            (* end case *))
200    
# Line 204  Line 205 
205              | Ty.T_String => true              | Ty.T_String => true
206              | Ty.T_Sequence _ => true              | Ty.T_Sequence _ => true
207              | Ty.T_Tensor _ => true              | Ty.T_Tensor _ => true
208                | Ty.T_Error => true
209              | _ => false              | _ => false
210            (* end case *))            (* end case *))
211    
212    (* returns true if the type is an ImageTy *)    (* returns true if the type is an ImageTy *)
213      fun isImageType ty = (case prune ty      fun isImageType ty = (case prune ty
214             of Ty.T_Image _ => true             of Ty.T_Image _ => true
215                | Ty.T_Error => true
216              | _ => false              | _ => false
217            (* end case *))            (* end case *))
218    

Legend:
Removed from v.3405  
changed lines
  Added in v.3428

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