Laconic -> Ur

1 files changed, 9 insertions, 0 deletions

diff --git a/tests/recBad.ur b/tests/recBad.ur
new file mode 100644
index 00000000..11934ec0
--- /dev/null
+++ b/tests/recBad.ur
@@ -0,0 +1,9 @@
+datatype list a = Nil | Cons of a * list a
+
+fun append (t ::: Type) (ls1 : list t) (ls2 : list t) : list t =
+        case ls1 of
+            Nil => ls2
+          | Cons (h, t) => Cons (h, append t ls2)
+
+(*val rec ones : list int = Cons (1, ones)*)
+val rec ones = fn () => Cons (1, ones ())