Bend/tests/snapshots/run_file__chars_forall.bend.snap

mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-09-11 03:45:29 +03:00
---
source: tests/golden_tests.rs
input_file: tests/golden_tests/run_file/chars_forall.bend
---
NumScott:
8704

Scott:
8704
Update tests to use .bend extension, fix test uite 2024-05-15 01:25:46 +03:00			`---`
			`source: tests/golden_tests.rs`
			`input_file: tests/golden_tests/run_file/chars_forall.bend`
			`---`
[sc-663] Add num-scott adt encoding, it a cli opt 2024-05-18 15:01:20 +03:00			`NumScott:`
			`8704`

			`Scott:`
Update tests to use .bend extension, fix test uite 2024-05-15 01:25:46 +03:00			`8704`