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

Parent Directory | Revision Log | Patch

	revision 811, Tue Apr 12 16:52:48 2011 UTC	revision 812, Tue Apr 12 18:01:07 2011 UTC
#	Line 45	Line 45
45	| Op.InvScale d => (Ty.vecTy d, [Ty.vecTy d, Ty.realTy])	| Op.InvScale d => (Ty.vecTy d, [Ty.vecTy d, Ty.realTy])
46	| Op.CL => raise Fail "Op.CL unimplemented"	| Op.CL => raise Fail "Op.CL unimplemented"
47	| Op.PrincipleEvec _ => raise Fail "Op.PrincipleEvec unimplemented"	| Op.PrincipleEvec _ => raise Fail "Op.PrincipleEvec unimplemented"
48		| Op.Identity d => (Ty.TensorTy[d,d], [])
49	| Op.Trace d => (Ty.realTy, [Ty.TensorTy[d, d]])	| Op.Trace d => (Ty.realTy, [Ty.TensorTy[d, d]])
50	| Op.Subscript(Ty.IVecTy d) => (Ty.intTy, [Ty.IVecTy d, Ty.intTy])	| Op.Subscript(Ty.IVecTy d) => (Ty.intTy, [Ty.IVecTy d, Ty.intTy])
51	| Op.Subscript(ty as Ty.TensorTy dd) => (Ty.realTy, ty :: List.map (fn _ => Ty.intTy) dd)	| Op.Subscript(ty as Ty.TensorTy dd) => (Ty.realTy, ty :: List.map (fn _ => Ty.intTy) dd)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.811   changed lines   Added in v.812

---

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