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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/high-ir/check-high.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/high-ir/check-high.sml

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

revision 3936, Mon Jun 6 10:34:23 2016 UTC revision 3937, Mon Jun 6 13:16:10 2016 UTC
# Line 113  Line 113 
113            List.all (fn ty' => Ty.same(ty, ty')) tys andalso (List.length tys = n)            List.all (fn ty' => Ty.same(ty, ty')) tys andalso (List.length tys = n)
114        | typeOfSeq _ = false        | typeOfSeq _ = false
115    
116        fun isStrandTy (Ty.StrandTy _) = true
117          | isStrandTy _ = false
118    
119        fun isBoolTy Ty.BoolTy = true
120          | isBoolTy _ = false
121    
122    end    end
123    
124  structure CheckHigh = CheckIRFn (  structure CheckHigh = CheckIRFn (

Legend:
Removed from v.3936  
changed lines
  Added in v.3937

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