1 files changed, 8 insertions, 0 deletions
diff --git a/tests/mutual.ur b/tests/mutual.ur
index da8eade4..c3d80c89 100644
--- a/tests/mutual.ur
+++ b/tests/mutual.ur
@@ -1,2 +1,10 @@
 datatype foo = A | B of bar
 and bar = C | D of foo
+
+val q = B (D A)
+
+fun main () = return <xml>
+  {case q of
+       B (D A) => <xml>Good</xml>
+     | _ => <xml>Bad</xml>}
+</xml>