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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/low-opt/low-contract.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/low-opt/low-contract.sml

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

revision 3804, Tue May 3 18:03:41 2016 UTC revision 3805, Tue May 3 18:38:31 2016 UTC
# Line 92  Line 92 
92                        SOME[(lhs, IR.VAR(use x))])                        SOME[(lhs, IR.VAR(use x))])
93                    | get (ix::ixs, d::ds, x) = (case V.getDef x                    | get (ix::ixs, d::ds, x) = (case V.getDef x
94                         of IR.CONS(ys, _) => get(ixs, ds, List.nth(ys, ix))                         of IR.CONS(ys, _) => get(ixs, ds, List.nth(ys, ix))
95                          | _ => SOME[(lhs, IR.OP(Op.TensorIndex(Ty.tensorTy ds, ix::ixs), [use x]))]                          | _ => SOME[(lhs, IR.OP(Op.TensorIndex(Ty.tensorTy(d::ds), ix::ixs), [use x]))]
96                        (* end case *))                        (* end case *))
97                    | get _ = raise Fail "malformed TensorIndex"                    | get _ = raise Fail "malformed TensorIndex"
98                  in                  in

Legend:
Removed from v.3804  
changed lines
  Added in v.3805

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