Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/high-il/check-high-il.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1938, Mon Jul 2 20:14:36 2012 UTC revision 1939, Mon Jul 2 21:11:07 2012 UTC
# Line 47  Line 47 
47              | Op.MulMatVec(ty as Ty.TensorTy[d1, d2]) => (Ty.TensorTy[d1], [ty, Ty.TensorTy[d2]])              | Op.MulMatVec(ty as Ty.TensorTy[d1, d2]) => (Ty.TensorTy[d1], [ty, Ty.TensorTy[d2]])
48              | Op.MulMatMat(ty1 as Ty.TensorTy[d1, d2], ty2 as Ty.TensorTy[d2', d3]) =>              | Op.MulMatMat(ty1 as Ty.TensorTy[d1, d2], ty2 as Ty.TensorTy[d2', d3]) =>
49                  (Ty.TensorTy[d1, d3], [ty1, ty2])                  (Ty.TensorTy[d1, d3], [ty1, ty2])
50                | Op.MulVecTen3(ty as Ty.TensorTy[d1, d2, d3]) =>
51                    (Ty.TensorTy[d2, d3], [Ty.TensorTy[d1], ty])
52                | Op.MulTen3Vec(ty as Ty.TensorTy[d1, d2, d3]) =>
53                    (Ty.TensorTy[d1, d2], [ty, Ty.TensorTy[d3]])
54              | Op.Cross => (Ty.vec3Ty, [Ty.vec3Ty, Ty.vec3Ty])              | Op.Cross => (Ty.vec3Ty, [Ty.vec3Ty, Ty.vec3Ty])
55              | Op.Outer(ty as Ty.TensorTy[d1, d2]) => (ty, [Ty.TensorTy[d1], Ty.TensorTy[d2]])              | Op.Outer(ty as Ty.TensorTy[d1, d2]) => (ty, [Ty.TensorTy[d1], Ty.TensorTy[d2]])
56              | Op.Norm ty => (Ty.realTy, [ty])              | Op.Norm ty => (Ty.realTy, [ty])

Legend:
Removed from v.1938  
changed lines
  Added in v.1939

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