1 files changed, 10 insertions, 0 deletions
diff --git a/tests/mutual.ur b/tests/mutual.ur
new file mode 100644
index 0000000..c3d80c8
--- /dev/null
+++ b/tests/mutual.ur
@@ -0,0 +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>