Bend/tests/snapshots/encode_pattern_match__list_str_encoding_undeclared_map.bend.snap

---
source: tests/golden_tests.rs
input_file: tests/golden_tests/encode_pattern_match/list_str_encoding_undeclared_map.bend
---
Scott
(main) = λa λb ((a 2 λ* λ* 1), (b 2 λ* λ* 1))

NumScott
(main) = λa λb ((a λc switch c { 0: 2; _: λ* λ* λ* 1; }), (b λg switch g { 0: 2; _: λ* λ* λ* 1; }))
[sc-410] Add untagged scott encoding option for ADTs 2024-02-07 18:19:07 +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/list_str_encoding_undeclared_map.bend`
[sc-410] Add untagged scott encoding option for ADTs 2024-02-07 18:19:07 +03:00			`---`
[sc-663] Add num-scott adt encoding, it a cli opt 2024-05-18 15:01:20 +03:00			`Scott`
			`(main) = λa λb ((a 2 λ* λ* 1), (b 2 λ* λ* 1))`

			`NumScott`
			`(main) = λa λb ((a λc switch c { 0: 2; _: λ* λ* λ* 1; }), (b λg switch g { 0: 2; _: λ* λ* λ* 1; }))`