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

SCM Repository

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

Diff of /branches/vis15/src/compiler/high-ir/check-high.sml

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

revision 3937, Mon Jun 6 13:16:10 2016 UTC revision 3992, Fri Jun 17 22:06:13 2016 UTC
# Line 49  Line 49 
49              | Op.Eigen2x2 => eigenSig 2              | Op.Eigen2x2 => eigenSig 2
50              | Op.Eigen3x3 => eigenSig 3              | Op.Eigen3x3 => eigenSig 3
51              | Op.Zero ty => (ty, [])              | Op.Zero ty => (ty, [])
             | Op.TensorSlice(ty as Ty.TensorTy dd, m) => let  
                 val resDims = let  
                       fun f (d, NONE, rds) = d::rds  
                         | f (_, SOME _, rds) = rds  
                       in  
                         ListPair.foldr f [] (dd, m)  
                       end  
                 in  
                   (Ty.TensorTy resDims, [ty])  
                 end  
52              | Op.TensorIndex(ty, _) => (Ty.realTy, [ty])              | Op.TensorIndex(ty, _) => (Ty.realTy, [ty])
53              | Op.Select(ty as Ty.TupleTy tys, i) =>              | Op.Select(ty as Ty.TupleTy tys, i) =>
54                  if (1 <= i) andalso (i <= length tys)                  if (1 <= i) andalso (i <= length tys)

Legend:
Removed from v.3937  
changed lines
  Added in v.3992

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