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

SCM Repository

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

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

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

revision 2627, Sat May 17 00:44:22 2014 UTC revision 2628, Wed May 21 04:02:06 2014 UTC
# Line 47  Line 47 
47              | Op.PrincipleEvec(resTy as Ty.TensorTy[d]) => (resTy, [Ty.TensorTy[d,d]])              | Op.PrincipleEvec(resTy as Ty.TensorTy[d]) => (resTy, [Ty.TensorTy[d,d]])
48              | Op.Eigen2x2 => eigenSig 2              | Op.Eigen2x2 => eigenSig 2
49              | Op.Eigen3x3 => eigenSig 3              | Op.Eigen3x3 => eigenSig 3
50                | Op.Zero ty => (ty, [])
51              | Op.Slice(ty as Ty.TensorTy dd, m) => let              | Op.Slice(ty as Ty.TensorTy dd, m) => let
52                  val (resDims, idxDims) = let                  val (resDims, idxDims) = let
53                        fun f (d, false, (rds, ids)) = (d::rds, ids)                        fun f (d, false, (rds, ids)) = (d::rds, ids)

Legend:
Removed from v.2627  
changed lines
  Added in v.2628

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