Skip to content

Commit

Permalink
Update alpha equality test
Browse files Browse the repository at this point in the history
  • Loading branch information
slyubomirsky committed Apr 18, 2019
1 parent 31eac56 commit 7a4e202
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions tests/python/relay/test_pass_alpha_equal.py
Original file line number Diff line number Diff line change
Expand Up @@ -521,7 +521,7 @@ def test_match_alpha_equal():
relay.PatternVar(a)]),
p.cons(z, a))

data = p.cons(p.z(), p.cons(p.z(), p.nil()))
data = p.cons(relay.const(1), p.cons(relay.const(2), p.nil()))

match = relay.Match(data, [nil_case, cons_case])
equivalent = relay.Match(data, [nil_case, equivalent_cons])
Expand All @@ -547,8 +547,8 @@ def test_match_alpha_equal():
relay.Clause(relay.PatternWildcard(), p.nil())
])
wrong_constructors = relay.Match(data, [
relay.Clause(relay.PatternConstructor(p.z), p.nil()),
relay.Clause(relay.PatternConstructor(p.s, [relay.PatternVar(x)]),
relay.Clause(relay.PatternConstructor(p.none), p.nil()),
relay.Clause(relay.PatternConstructor(p.some, [relay.PatternVar(x)]),
p.cons(x, p.nil()))
])

Expand Down

0 comments on commit 7a4e202

Please sign in to comment.