2023-11-23 19:52:32 +03:00
|
|
|
---
|
|
|
|
source: tests/golden_tests.rs
|
2024-05-15 01:25:46 +03:00
|
|
|
input_file: tests/golden_tests/compile_file/redex_order.bend
|
2023-11-23 19:52:32 +03:00
|
|
|
---
|
|
|
|
@a = (a a)
|
2024-03-21 15:11:16 +03:00
|
|
|
|
2023-11-23 19:52:32 +03:00
|
|
|
@b = (a a)
|
2024-03-21 15:11:16 +03:00
|
|
|
|
2023-11-23 19:52:32 +03:00
|
|
|
@c = (a a)
|
2024-03-21 15:11:16 +03:00
|
|
|
|
2024-04-18 18:42:28 +03:00
|
|
|
@foo = (a d)
|
|
|
|
& @a ~ (c d)
|
|
|
|
& @b ~ (b c)
|
|
|
|
& @c ~ (a b)
|
2024-03-21 15:11:16 +03:00
|
|
|
|
2024-04-26 23:38:20 +03:00
|
|
|
@foo2 = c
|
|
|
|
& @a ~ (b c)
|
|
|
|
& @b ~ (a b)
|
2024-04-23 13:44:01 +03:00
|
|
|
& @c ~ (0 a)
|
2024-03-27 17:18:37 +03:00
|
|
|
|
2024-03-21 15:11:16 +03:00
|
|
|
@main = a
|
|
|
|
& @foo ~ (@foo2 a)
|