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

SCM Repository

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

Diff of /branches/charisee/src/compiler/low-il/check-low-il.sml

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

revision 3194, Wed May 13 02:57:42 2015 UTC revision 3195, Wed May 20 21:02:12 2015 UTC
# Line 94  Line 94 
94                  => (Ty.TensorTy [],[Ty.TensorTy argTy])                  => (Ty.TensorTy [],[Ty.TensorTy argTy])
95              | Op.IndexTensor ( _ ,_,  IntTy) (*fix me *)              | Op.IndexTensor ( _ ,_,  IntTy) (*fix me *)
96                  => (Ty.TensorTy [],[ IntTy])                  => (Ty.TensorTy [],[ IntTy])
97              | Op. ProjectTensor ( _ ,resultTy,_, Ty.TensorTy argTy)              | Op. ProjectLast ( _ ,resultTy,_, Ty.TensorTy argTy)
98                    => (Ty.TensorTy [resultTy],[Ty.TensorTy argTy])
99                | Op. ProjectFirst ( _ ,resultTy,_, Ty.TensorTy argTy)
100                  => (Ty.TensorTy [resultTy],[Ty.TensorTy argTy])                  => (Ty.TensorTy [resultTy],[Ty.TensorTy argTy])
101              | Op.addSca => (Ty.TensorTy([]), [Ty.TensorTy([]),Ty.TensorTy([])])              | Op.addSca => (Ty.TensorTy([]), [Ty.TensorTy([]),Ty.TensorTy([])])
102              | Op.subSca => (Ty.TensorTy([]), [Ty.TensorTy([]),Ty.TensorTy([])])              | Op.subSca => (Ty.TensorTy([]), [Ty.TensorTy([]),Ty.TensorTy([])])

Legend:
Removed from v.3194  
changed lines
  Added in v.3195

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