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 3428, Fri Nov 13 17:47:12 2015 UTC revision 3431, Sat Nov 14 14:03:58 2015 UTC
# Line 32  Line 32 
32    (* return true if the type is an image type *)    (* return true if the type is an image type *)
33      val isImageType : Types.ty -> bool      val isImageType : Types.ty -> bool
34    
35      (* return true if the type is T_Error *)
36        val isErrorType : Types.ty -> bool
37    
38    (* return the range (return type) of a function type *)    (* return the range (return type) of a function type *)
39      val rngOf : Types.ty -> Types.ty      val rngOf : Types.ty -> Types.ty
40    
# Line 216  Line 219 
219              | _ => false              | _ => false
220            (* end case *))            (* end case *))
221    
222        fun isErrorType ty = (case prune ty
223               of Ty.T_Error => true
224                | _ => false
225              (* end case *))
226    
227    (* equality testing *)    (* equality testing *)
228      fun sameDim (Ty.DimConst d1, Ty.DimConst d2) = (d1 = d2)      fun sameDim (Ty.DimConst d1, Ty.DimConst d2) = (d1 = d2)
229        | sameDim (Ty.DimVar v1, Ty.DimVar v2) = MetaVar.sameDimVar(v1, v2)        | sameDim (Ty.DimVar v1, Ty.DimVar v2) = MetaVar.sameDimVar(v1, v2)

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

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