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

SCM Repository

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

Diff of /branches/vis15/src/compiler/mid-ir/check-mid.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 141  Line 141 
141            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)
142        | typeOfSeq _ = false        | typeOfSeq _ = false
143    
144        fun isStrandTy (Ty.StrandTy _) = true
145          | isStrandTy _ = false
146    
147        fun isBoolTy Ty.BoolTy = true
148          | isBoolTy _ = false
149    
150    end    end
151    
152  structure CheckMid = CheckIRFn (  structure CheckMid = 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