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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch 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

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