mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-08-15 14:50:42 +03:00
46 lines
824 B
Plaintext
46 lines
824 B
Plaintext
---
|
|
source: tests/golden_tests.rs
|
|
input_file: tests/golden_tests/desugar_file/combinators.bend
|
|
---
|
|
(foo) = λa λ* λ* (foo a)
|
|
|
|
(bar) = λa λb (a bar b)
|
|
|
|
(List/ignore) = λa λ* (a List/ignore__C1)
|
|
|
|
(baz) = {0 1 2 3 λa a foo}
|
|
|
|
(qux) = {0 qux}
|
|
|
|
(clax) = (λa a clax__C0)
|
|
|
|
(tup) = (tup, 1, 0)
|
|
|
|
(list) = (List/Cons 0 list__C0)
|
|
|
|
(A) = λa (A__C0 a)
|
|
|
|
(B) = λa (B__C0 a)
|
|
|
|
(Main) = (List/Cons 0 (List/Cons list List/Nil))
|
|
|
|
(List/Nil) = λa (a List/Nil/tag)
|
|
|
|
(List/Cons) = λa λb λc (c List/Cons/tag a b)
|
|
|
|
(List/Nil/tag) = 0
|
|
|
|
(List/Cons/tag) = 1
|
|
|
|
(A__C0) = let {a b} = A; λc (a b c)
|
|
|
|
(B__C0) = let (a, b) = B; λc (a b c)
|
|
|
|
(List/ignore__C0) = λ* λ* λa (List/ignore a List/ignore)
|
|
|
|
(List/ignore__C1) = λa switch a { 0: 0; _: List/ignore__C0; }
|
|
|
|
(clax__C0) = λ* λ* λ* λa (clax a)
|
|
|
|
(list__C0) = (List/Cons list List/Nil)
|