def test_rewrite_simple3(): a = aparse('A(1,2)') b = aparse('B(2,1)') mod = module(complex_rr) rule = mod['foo'] assert rule(a) == b
def test_rewrite_simple2(): a = aparse('A()') b = aparse('B()') c = aparse('C()') mod = module(simple_rr) rule = mod['bar'] assert rule(a) == c
def test_rewrite_simple(): a = aparse('A()') b = aparse('B()') c = aparse('C()') mod = module(simple_rr) rule = mod['foo'] assert rule(a) == b assert rule(b) == c assert rule(rule(a)) == c
def test_patterns_module(): mod = module(patterns)
def test_simple_module(): module(simple)