summaryrefslogtreecommitdiff
path: root/test/emptytrait.myr
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2018-01-01 21:09:50 -0800
committerOri Bernstein <ori@eigenstate.org>2018-01-11 22:16:11 -0800
commit90e26e0f687da28530b3b967df0cedf20407c071 (patch)
tree09c85ff396a5f235dbcbd5db2df911b5217bb472 /test/emptytrait.myr
parent94448201527e0c47c2924219bf1a8d0c0c2406b7 (diff)
downloadmc-90e26e0f687da28530b3b967df0cedf20407c071.tar.gz
Move to new trait syntax.
Diffstat (limited to 'test/emptytrait.myr')
-rw-r--r--test/emptytrait.myr2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/emptytrait.myr b/test/emptytrait.myr
index e3c3c91..f4a1f38 100644
--- a/test/emptytrait.myr
+++ b/test/emptytrait.myr
@@ -6,7 +6,7 @@ trait fooable @a =
impl fooable int =
;;
-generic foo = {x : @a::fooable
+generic foo = {x : @a::fooable @a
-> x
}