diff options
author | Ori Bernstein <ori@eigenstate.org> | 2014-01-24 11:35:31 -0500 |
---|---|---|
committer | Ori Bernstein <ori@eigenstate.org> | 2014-01-24 11:35:31 -0500 |
commit | a0d80034b4b6a66839a8a8c0e325e747879648e8 (patch) | |
tree | 831811c8f8fe85d56ffe0c156cc3b95b85f7272d /test/emptytrait.myr | |
parent | 75dbdd0239e5bbe8d27407e3a4a32922ae37ca72 (diff) | |
download | mc-a0d80034b4b6a66839a8a8c0e325e747879648e8.tar.gz |
Add disabled test for empty traits.
Diffstat (limited to 'test/emptytrait.myr')
-rw-r--r-- | test/emptytrait.myr | 14 |
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)) +} + |