summaryrefslogtreecommitdiff
path: root/test/tyrec.myr
diff options
context:
space:
mode:
authorOri Bernstein <orib@google.com>2012-07-20 16:46:05 -0400
committerOri Bernstein <orib@google.com>2012-07-20 16:46:10 -0400
commita1774754e1da0397cc2cf567ca2ce6e79ae57bf7 (patch)
tree3580f8a91620d316d74dc58aba3a819d91f533f5 /test/tyrec.myr
parent43a9a671c7bf82d6de25ee6f0509a8c62cf23e6e (diff)
downloadmc-a1774754e1da0397cc2cf567ca2ce6e79ae57bf7.tar.gz
x
Add occurs check for types. We don't want infinite types.
Diffstat (limited to 'test/tyrec.myr')
-rw-r--r--test/tyrec.myr9
1 files changed, 9 insertions, 0 deletions
diff --git a/test/tyrec.myr b/test/tyrec.myr
new file mode 100644
index 0000000..86b173e
--- /dev/null
+++ b/test/tyrec.myr
@@ -0,0 +1,9 @@
+/* we just want to see if this file compiles */
+type foo = struct
+ v : foo*
+;;
+
+const main = {
+ var v : foo
+ -> 42
+}