Diff of /trunk/src/compiler/mid-il/check-mid-il.sml

Parent Directory | Revision Log | Patch

	revision 426, Mon Oct 18 18:49:55 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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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

---

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