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

Parent Directory | Revision Log | Patch

	revision 449, Thu Oct 21 15:46:51 2010 UTC	revision 450, Thu Oct 21 15:58:26 2010 UTC
#	Line 53	Line 53
53	| Op.VoxelAddress(ImageInfo.ImgInfo{dim, ...}) =>	| Op.VoxelAddress(ImageInfo.ImgInfo{dim, ...}) =>
54	(Ty.AddrTy, List.tabulate(dim, fn _ => Ty.intTy))	(Ty.AddrTy, List.tabulate(dim, fn _ => Ty.intTy))
55	| Op.LoadVoxels(_, d) => (Ty.VecTy d, [Ty.AddrTy])	| Op.LoadVoxels(_, d) => (Ty.VecTy d, [Ty.AddrTy])
56	| Op.Transform(ImageInfo.ImgInfo{dim, ...}) => (Ty.VecTy dim, [Ty.VecTy dim])	| Op.PosToImgSpace(ImageInfo.ImgInfo{dim, ...}) => (Ty.VecTy dim, [Ty.VecTy dim])
57		| Op.GradToWorldSpace(ImageInfo.ImgInfo{dim, ...}) => (Ty.VecTy dim, [Ty.VecTy dim])
58	| Op.EvalKernel(d, _, _) => (Ty.VecTy d, [Ty.VecTy d])	| Op.EvalKernel(d, _, _) => (Ty.VecTy d, [Ty.VecTy d])
59	| Op.LoadImage _ => (Ty.ImageTy, [])	| Op.LoadImage _ => (Ty.ImageTy, [])
60	| Op.Inside(ImageInfo.ImgInfo{dim, ...}) => (Ty.BoolTy, [Ty.VecTy dim])	| Op.Inside(ImageInfo.ImgInfo{dim, ...}) => (Ty.BoolTy, [Ty.VecTy dim])

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.449   changed lines   Added in v.450

---

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