Diff of /branches/pure-cfg/src/compiler/high-il/check-high-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 42	Line 42
42	| Op.InvScale ty => (ty, [ty, Ty.realTy])	| Op.InvScale ty => (ty, [ty, Ty.realTy])
43	| Op.CL => (Ty.realTy, [Ty.TensorTy[3, 3]])	| Op.CL => (Ty.realTy, [Ty.TensorTy[3, 3]])
44	| Op.PrincipleEvec(resTy as Ty.TensorTy[d]) => (resTy, [Ty.TensorTy[d,d]])	| Op.PrincipleEvec(resTy as Ty.TensorTy[d]) => (resTy, [Ty.TensorTy[d,d]])
45		| Op.Identity d => (Ty.TensorTy[d,d], [])
46	| Op.Trace ty => (Ty.realTy, [ty])	| Op.Trace ty => (Ty.realTy, [ty])
47	| Op.Slice(ty as Ty.TensorTy dd, m) => let	| Op.Slice(ty as Ty.TensorTy dd, m) => let
48	val (resDims, idxDims) = let	val (resDims, idxDims) = let

---

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