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

SCM Repository

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

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