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

SCM Repository

[diderot] Diff of /branches/charisee_dev/src/compiler/high-to-mid/avail-rhs.sml
ViewVC logotype

Diff of /branches/charisee_dev/src/compiler/high-to-mid/avail-rhs.sml

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

revision 3594, Fri Jan 15 23:07:49 2016 UTC revision 3595, Sat Jan 16 05:48:18 2016 UTC
# Line 58  Line 58 
58                      IR.Op.same(op1, op2) andalso ListPair.allEq IR.Var.same (xs, ys)                      IR.Op.same(op1, op2) andalso ListPair.allEq IR.Var.same (xs, ys)
59                  | (IR.CONS(xs, _), IR.CONS(ys, _)) => ListPair.allEq IR.Var.same (xs, ys)                  | (IR.CONS(xs, _), IR.CONS(ys, _)) => ListPair.allEq IR.Var.same (xs, ys)
60                  | (IR.SEQ(xs, _), IR.SEQ(ys, _)) => ListPair.allEq IR.Var.same (xs, ys)                  | (IR.SEQ(xs, _), IR.SEQ(ys, _)) => ListPair.allEq IR.Var.same (xs, ys)
61                  | *)(IR.EINAPP(ein1, xs), IR.EINAPP(ein2, ys)) =>                  | (IR.EINAPP(ein1, xs), IR.EINAPP(ein2, ys)) =>
62                      EqualEin.isEinEqual(ein1, ein2) andalso ListPair.allEq IR.Var.same (xs, ys)                      EqualEin.isEinEqual(ein1, ein2) andalso ListPair.allEq IR.Var.same (xs, ys)
63                  | _ => false                  | *) _ => false
64                (* end case *))                (* end case *))
65        end)        end)
66    

Legend:
Removed from v.3594  
changed lines
  Added in v.3595

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