ref: 9ee86f915781eb5acfabfaf482f123a5da162ff3
parent: 1f979324794c81c3e8587b27c6124c640be9f9d5
author: Ori Bernstein <[email protected]>
date: Tue Apr 8 06:30:44 EDT 2014
Add test for exported traits.
Currently segfaults compiler.
--- /dev/null
+++ b/test/exporttrait.myr
@@ -1,0 +1,14 @@
+pkg =
+ trait t @a
+ impl t int
+;;
+
+trait t @a =
+ frob : (v : @a -> @a)
+;;
+
+impl t int =
+ frob = {v+ -> v*2
+ }
+;;
--- a/test/tests
+++ b/test/tests
@@ -120,6 +120,7 @@
B strfind C
B strjoin C
B bigint C
+B exporttrait
# B local-labels E 10 ## BUGGERED
F declmismatch
F infermismatch