ref: 8ae2e25dfd520b2c59f6b909a16d75c705f0c967
parent: 34b564c77abf63d69b15d47ec4c76081285f4830
author: Ori Bernstein <[email protected]>
date: Sat Dec 20 19:06:11 EST 2014
New blessed way to implement traits with no functions.
--- a/test/emptytrait.myr
+++ b/test/emptytrait.myr
@@ -2,7 +2,9 @@
trait fooable @a =
;;
-impl fooable int
+
+impl fooable int =
+;;
generic foo = {x : @a::fooable-> x