mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-08-15 14:50:42 +03:00
36 lines
760 B
Plaintext
36 lines
760 B
Plaintext
---
|
|
source: tests/golden_tests.rs
|
|
input_file: tests/golden_tests/compile_file_o_all/expr.bend
|
|
---
|
|
@Expr/App = (a (b ((2 (a (b c))) c)))
|
|
|
|
@Expr/Dup = (a (b (c (d ((6 (a (b (c (d e))))) e)))))
|
|
|
|
@Expr/Let = (a (b (c ((5 (a (b (c d)))) d))))
|
|
|
|
@Expr/Num = (a ((1 (a b)) b))
|
|
|
|
@Expr/Op2 = (a (b (c ((8 (a (b (c d)))) d))))
|
|
|
|
@Expr/Var = (a ((0 (a b)) b))
|
|
|
|
@Op/Mul = ((2 a) a)
|
|
|
|
@Op/Sub = ((1 a) a)
|
|
|
|
@main = n
|
|
& @Expr/Let ~ (a (f (m n)))
|
|
& @Expr/Var ~ (0 a)
|
|
& @Expr/Op2 ~ (@Op/Mul (e f))
|
|
& @Expr/Op2 ~ (@Op/Sub (b (c (d e))))
|
|
& @Expr/Num ~ (2 b)
|
|
& @Expr/Num ~ (1 c)
|
|
& @Expr/Num ~ (3 d)
|
|
& @Expr/Dup ~ (g (h (i (l m))))
|
|
& @Expr/Var ~ (1 g)
|
|
& @Expr/Var ~ (2 h)
|
|
& @Expr/Var ~ (0 i)
|
|
& @Expr/App ~ (j (k l))
|
|
& @Expr/Var ~ (1 j)
|
|
& @Expr/Var ~ (2 k)
|