def test_rule3():
rule = dslparse('b: @a(x,y) -> F(a,y,x)')
l = rule[0].lhs
r = rule[0].rhs
rr = build_rule(l,r)
sub = aparse('f(1,2)')
res = aparse('F(f,2,1)')
assert rr(sub) == res
def test_rule2():
rule = dslparse('b: a@f(x,y) -> g(a,a(a))')
l = rule[0].lhs
r = rule[0].rhs
rr = build_rule(l,r)
sub = aparse('f(1,2)')
res = aparse('g(f(1, 2), a(f(1, 2)))')
assert rr(sub) == res
def test_rule5():
rule = dslparse('b: f(x,g(y,z)) -> (x,y,z)')
l = rule[0].lhs
r = rule[0].rhs
rr = build_rule(l,r)
sub = aparse('f(1,g(2,3))')
res = aparse('(1,2,3)')
assert rr(sub) == res
def test_rule1():
rule = dslparse('b: f(x,y) -> f(x,x,y,x,f(x,y))')
l = rule[0].lhs
r = rule[0].rhs
rr = build_rule(l,r)
sub = aparse('f(1,2)')
res = aparse('f(1,1,2,1,f(1,2))')
assert rr(sub) == res
def test_rule4():
rule = dslparse('b: f(x,x) -> x')
l = rule[0].lhs
r = rule[0].rhs
rr = build_rule(l,r)
sub = aparse('f(1,1)')
res = aparse('1')
assert rr(sub) == res
with assert_raises(NoMatch):
sub = aparse('f(1,2)')
assert rr(sub) == res
