Bend/tests/golden_tests/run_lazy/adt_match_wrong_tag.bend
2024-05-15 00:25:46 +02:00

4 lines
75 B
Plaintext

data Option = (Some val) | None
main = λa #Option (a #wrong_tag λb b *)