mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-08-15 23:00:46 +03:00
31 lines
641 B
Plaintext
31 lines
641 B
Plaintext
---
|
|
source: tests/golden_tests.rs
|
|
input_file: tests/golden_tests/compile_file_o_all/list_reverse.bend
|
|
---
|
|
@concat = ((@concat__C1 a) a)
|
|
|
|
@concat__C0 = (a (b (c e)))
|
|
& @list/cons ~ (a (d e))
|
|
& @concat ~ (b (c d))
|
|
|
|
@concat__C1 = (?((@concat__C0 (* (a a))) b) b)
|
|
|
|
@list/cons = (a (b ((0 (a (b c))) c)))
|
|
|
|
@list/nil = ((1 a) a)
|
|
|
|
@main = d
|
|
& @reverse ~ (c d)
|
|
& @list/cons ~ (3 (b c))
|
|
& @list/cons ~ (2 (a b))
|
|
& @list/cons ~ (1 (@list/nil a))
|
|
|
|
@reverse = ((@reverse__C1 a) a)
|
|
|
|
@reverse__C0 = (c (a e))
|
|
& @concat ~ (b (d e))
|
|
& @reverse ~ (a b)
|
|
& @list/cons ~ (c (@list/nil d))
|
|
|
|
@reverse__C1 = (?((@reverse__C0 (* @list/nil)) a) a)
|