summaryrefslogtreecommitdiff
path: root/test/emptytrait.myr
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2014-01-24 11:35:31 -0500
committerOri Bernstein <ori@eigenstate.org>2014-01-24 11:35:31 -0500
commita0d80034b4b6a66839a8a8c0e325e747879648e8 (patch)
tree831811c8f8fe85d56ffe0c156cc3b95b85f7272d /test/emptytrait.myr
parent75dbdd0239e5bbe8d27407e3a4a32922ae37ca72 (diff)
downloadmc-a0d80034b4b6a66839a8a8c0e325e747879648e8.tar.gz
Add disabled test for empty traits.
Diffstat (limited to 'test/emptytrait.myr')
-rw-r--r--test/emptytrait.myr14
1 files changed, 14 insertions, 0 deletions
diff --git a/test/emptytrait.myr b/test/emptytrait.myr
new file mode 100644
index 0000000..4bd9555
--- /dev/null
+++ b/test/emptytrait.myr
@@ -0,0 +1,14 @@
+use std
+
+trait fooable @a =
+;;
+impl fooable int
+
+generic foo = {x : @a::fooable
+ -> x
+}
+
+const main = {
+ std.exit(foo(123))
+}
+