summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-16 15:14:17 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-16 15:14:17 -0400
commitd2c553882cd29b3f0265b1e73916a83afb4edd59 (patch)
tree6d35712f3fc54d19a3d1a605a45840ded71a914e /tests
parentbaaf89aa8df00acd5de624155043d9eecf32de5c (diff)
Mutual datatypes through Elaborate
Diffstat (limited to 'tests')
-rw-r--r--tests/mutual.ur2
-rw-r--r--tests/mutual.urp3
2 files changed, 5 insertions, 0 deletions
diff --git a/tests/mutual.ur b/tests/mutual.ur
new file mode 100644
index 00000000..da8eade4
--- /dev/null
+++ b/tests/mutual.ur
@@ -0,0 +1,2 @@
+datatype foo = A | B of bar
+and bar = C | D of foo
diff --git a/tests/mutual.urp b/tests/mutual.urp
new file mode 100644
index 00000000..90e2a576
--- /dev/null
+++ b/tests/mutual.urp
@@ -0,0 +1,3 @@
+debug
+
+mutual