Bend/tests/golden_tests/compile_file/redex_order.bend
2024-05-15 21:26:16 +02:00

10 lines
258 B
Plaintext

# We want the nested calls in foo to be compiled as redexes written in outer to inner order
# So they should compile to: @foo = root_tree & a ~ ... & b ~ ... & c ~ ...
foo = @x (a (b (c x)))
foo2 = (a (b (c 0)))
a = @x x
b = @x x
c = @x x
main = (foo foo2)