Bend/tests/snapshots/cli__desugar_float_combinators.bend.snap

---
source: tests/golden_tests.rs
input_file: tests/golden_tests/cli/desugar_float_combinators.bend
---
(Z) = λ* λa a

(S) = λa λb let {c d} = b; λe (c (a d e))

(get) = λa (a get__C0 0)

(main) = (get (S (S Z)))

(get__C0) = λa (+ a 1)
Add more optargs cli tests 2024-03-06 16:58:53 +03:00			`---`
			`source: tests/golden_tests.rs`
Update tests to use .bend extension, fix test uite 2024-05-15 01:25:46 +03:00			`input_file: tests/golden_tests/cli/desugar_float_combinators.bend`
Add more optargs cli tests 2024-03-06 16:58:53 +03:00			`---`
[sc-623] Fix eta-reducible match linearization 2024-04-22 14:20:47 +03:00			`(Z) = λ* λa a`
Add more optargs cli tests 2024-03-06 16:58:53 +03:00
[sc-623] Fix eta-reducible match linearization 2024-04-22 14:20:47 +03:00			`(S) = λa λb let {c d} = b; λe (c (a d e))`
Add more optargs cli tests 2024-03-06 16:58:53 +03:00
Update tests for hvm32 2024-04-26 23:38:20 +03:00			`(get) = λa (a get__C0 0)`
Add more optargs cli tests 2024-03-06 16:58:53 +03:00
Expand refs in main, don't float combinators in main 2024-06-05 20:02:44 +03:00			`(main) = (get (S (S Z)))`
Add more optargs cli tests 2024-03-06 16:58:53 +03:00
Update tests for hvm32 2024-04-26 23:38:20 +03:00			`(get__C0) = λa (+ a 1)`