Bend/tests/snapshots/encode_pattern_match__def_tups.bend.snap

---
source: tests/golden_tests.rs
input_file: tests/golden_tests/encode_pattern_match/def_tups.bend
---
Scott
(go) = λa let (b, c) = a; let (d, e) = c; let (f, g) = e; let (h, i) = g; (+ (+ (+ (+ i h) f) d) b)

(main) = (go (1, (2, (3, (4, 5)))))

NumScott
(go) = λa let (b, c) = a; let (d, e) = c; let (f, g) = e; let (h, i) = g; (+ (+ (+ (+ i h) f) d) b)

(main) = (go (1, (2, (3, (4, 5)))))
Desugar lets into matches 2023-12-12 16:28:09 +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/encode_pattern_match/def_tups.bend`
Desugar lets into matches 2023-12-12 16:28:09 +03:00			`---`
[sc-663] Add num-scott adt encoding, it a cli opt 2024-05-18 15:01:20 +03:00			`Scott`
			`(go) = λa let (b, c) = a; let (d, e) = c; let (f, g) = e; let (h, i) = g; (+ (+ (+ (+ i h) f) d) b)`

			`(main) = (go (1, (2, (3, (4, 5)))))`

			`NumScott`
[sc-517] Use kind2-like pattern matching terms, remove nested lets and adt lets 2024-03-28 00:19:15 +03:00			`(go) = λa let (b, c) = a; let (d, e) = c; let (f, g) = e; let (h, i) = g; (+ (+ (+ (+ i h) f) d) b)`
[sc-410] Add untagged scott encoding option for ADTs 2024-02-07 18:19:07 +03:00
[sc-438] Simplify user vs builtin logic 2024-02-09 20:08:25 +03:00			`(main) = (go (1, (2, (3, (4, 5)))))`