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

Parent Directory | Revision Log | Patch

	revision 2026, Thu Oct 11 00:26:15 2012 UTC	revision 2027, Thu Oct 11 10:40:12 2012 UTC
#	Line 105	Line 105
105	*)	*)
106	| Op.Inside(info, _) => (Ty.BoolTy, [Ty.vecTy(ImageInfo.dim info), Ty.ImageTy info])	| Op.Inside(info, _) => (Ty.BoolTy, [Ty.vecTy(ImageInfo.dim info), Ty.ImageTy info])
107	| Op.Input(Inputs.INP{ty, ...}) => (ty, [])	| Op.Input(Inputs.INP{ty, ...}) => (ty, [])
108		| Op.LoadSeq(ty, _) => (ty, [])
109		| Op.LoadImage(ty, _, _) => (ty, [])
110	| Op.Print tys => (Ty.TupleTy[], tys)	| Op.Print tys => (Ty.TupleTy[], tys)
111	| _ => raise Fail("sigOf: invalid operator " ^ Op.toString rator)	| _ => raise Fail("sigOf: invalid operator " ^ Op.toString rator)
112	(* end case *))	(* end case *))

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.2026   changed lines   Added in v.2027

---

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