Bend/tests/snapshots/readback_hvm__match.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/readback_hvm/match.bend
---
switch a = 1 { 0: λb b; _: a-1; }
Migrate tests to cargo-insta 2023-11-10 22:19:06 +03:00			`---`
			`source: tests/golden_tests.rs`
Fix dictionary and rename readback test 2024-05-31 00:37:26 +03:00			`input_file: tests/golden_tests/readback_hvm/match.bend`
Migrate tests to cargo-insta 2023-11-10 22:19:06 +03:00			`---`
[sc-623] Fix eta-reducible match linearization 2024-04-22 14:20:47 +03:00			`switch a = 1 { 0: λb b; _: a-1; }`