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

SCM Repository

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

Diff of /branches/vis12/src/compiler/mid-il/check-mid-il.sml

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

revision 423, Sun Oct 17 02:29:06 2010 UTC revision 427, Mon Oct 18 19:35:52 2010 UTC
# Line 64  Line 64 
64    
65      fun typeOfCons [] = NONE      fun typeOfCons [] = NONE
66        | typeOfCons tys =        | typeOfCons tys =
67            if List.all (fn ty => Ty.same(Ty.IVecTy 0, ty)) tys            if List.all (fn ty => Ty.same(Ty.intTy, ty)) tys
68              then SOME(Ty.IVecTy(List.length tys))              then SOME(Ty.IVecTy(List.length tys))
69            else if List.all (fn ty => Ty.same(Ty.VecTy 0, ty)) tys            else if List.all (fn ty => Ty.same(Ty.realTy, ty)) tys
70              then SOME(Ty.VecTy(List.length tys))              then SOME(Ty.VecTy(List.length tys))
71              else NONE              else NONE
72    

Legend:
Removed from v.423  
changed lines
  Added in v.427

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