diff --git a/unison-src/tests/pattern-weirdness.u b/unison-src/tests/pattern-weirdness.u new file mode 100644 index 000000000..32ac93ad9 --- /dev/null +++ b/unison-src/tests/pattern-weirdness.u @@ -0,0 +1,16 @@ +go = + a = 1 + case "" of + pos | false -> a + _ -> a + +> go + +-- 7 | > go +-- ⧩ +-- "" + +-- should be 1, not "" + +-- seems to have something to do with the wildcard + guard, as changing or +-- or deleting that line makes the problem go away diff --git a/unison-src/tests/pattern-weirdness.ur b/unison-src/tests/pattern-weirdness.ur new file mode 100644 index 000000000..d00491fd7 --- /dev/null +++ b/unison-src/tests/pattern-weirdness.ur @@ -0,0 +1 @@ +1