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

Parent Directory | Revision Log | Patch

	revision 1924, Sat Jun 23 12:03:00 2012 UTC	revision 1925, Sat Jun 23 14:16:09 2012 UTC
#	Line 68	Line 68
68	| Op.Prepend ty => (Ty.DynSeqTy ty, [ty, Ty.DynSeqTy ty])	| Op.Prepend ty => (Ty.DynSeqTy ty, [ty, Ty.DynSeqTy ty])
69	| Op.Append ty => (Ty.DynSeqTy ty, [Ty.DynSeqTy ty, ty])	| Op.Append ty => (Ty.DynSeqTy ty, [Ty.DynSeqTy ty, ty])
70	| Op.Concat ty => (Ty.DynSeqTy ty, [Ty.DynSeqTy ty, Ty.DynSeqTy ty])	| Op.Concat ty => (Ty.DynSeqTy ty, [Ty.DynSeqTy ty, Ty.DynSeqTy ty])
71		| Op.Length ty => (Ty.intTy, [Ty.DynSeqTy ty])
72	| Op.Ceiling d => (Ty.vecTy d, [Ty.vecTy d])	| Op.Ceiling d => (Ty.vecTy d, [Ty.vecTy d])
73	| Op.Floor d => (Ty.vecTy d, [Ty.vecTy d])	| Op.Floor d => (Ty.vecTy d, [Ty.vecTy d])
74	| Op.Round d => (Ty.vecTy d, [Ty.vecTy d])	| Op.Round d => (Ty.vecTy d, [Ty.vecTy d])

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1924   changed lines   Added in v.1925

---

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