ref: 419c0d34a9d401d97a740778625936c6c1464d41
parent: cda16468ecbdedb26f469af1680497c3870960f9
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