summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2014-12-21 00:06:11 -0800
committerOri Bernstein <ori@eigenstate.org>2014-12-21 00:06:11 -0800
commit419c0d34a9d401d97a740778625936c6c1464d41 (patch)
tree8a0abef4e6068468b8edf9ea1740f38395453e5c /test
parentcda16468ecbdedb26f469af1680497c3870960f9 (diff)
downloadmc-419c0d34a9d401d97a740778625936c6c1464d41.tar.gz
New blessed way to implement traits with no functions.
Diffstat (limited to 'test')
-rw-r--r--test/emptytrait.myr4
1 files changed, 3 insertions, 1 deletions
diff --git a/test/emptytrait.myr b/test/emptytrait.myr
index 4bd9555..e3c3c91 100644
--- a/test/emptytrait.myr
+++ b/test/emptytrait.myr
@@ -2,7 +2,9 @@ use std
trait fooable @a =
;;
-impl fooable int
+
+impl fooable int =
+;;
generic foo = {x : @a::fooable
-> x