Bend/tests/snapshots/encode_pattern_match__ntup_sum.bend.snap

---
source: tests/golden_tests.rs
input_file: tests/golden_tests/encode_pattern_match/ntup_sum.bend
---
Scott
(ntupSum) = λa let (b, c, d, e, f) = a; (+ b (+ c (+ d (+ e f))))

(main) = (ntupSum (1, 3, 3, 2, 1))

NumScott
(ntupSum) = λa let (b, c, d, e, f) = a; (+ b (+ c (+ d (+ e f))))

(main) = (ntupSum (1, 3, 3, 2, 1))
Add ntups syntax sugar 2024-01-16 16:44:01 +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/ntup_sum.bend`
Add ntups syntax sugar 2024-01-16 16:44:01 +03:00			`---`
[sc-663] Add num-scott adt encoding, it a cli opt 2024-05-18 15:01:20 +03:00			`Scott`
			`(ntupSum) = λa let (b, c, d, e, f) = a; (+ b (+ c (+ d (+ e f))))`

			`(main) = (ntupSum (1, 3, 3, 2, 1))`

			`NumScott`
[sc-479] Update encodings for better performance, add n-ary dup/tup 2024-02-28 16:20:20 +03:00			`(ntupSum) = λa let (b, c, d, e, f) = a; (+ b (+ c (+ d (+ e f))))`
[sc-410] Add untagged scott encoding option for ADTs 2024-02-07 18:19:07 +03:00
[sc-479] Update encodings for better performance, add n-ary dup/tup 2024-02-28 16:20:20 +03:00			`(main) = (ntupSum (1, 3, 3, 2, 1))`