Bend/tests/golden_tests/run_lazy/list_reverse.bend
2024-05-15 00:25:46 +02:00

10 lines
274 B
Plaintext

data list = (cons h t) | nil
reverse (list/cons h t) = (concat (reverse t) (list/cons h list/nil))
reverse list/nil = list/nil
concat (list/cons h t) x = (list/cons h (concat t x))
concat list/nil x = x
main = (reverse (list/cons 3 (list/cons 2 (list/cons 1 list/nil))))