summaryrefslogtreecommitdiff
path: root/test/exporttrait.myr
blob: d4273b471db7d50002e37c704e36312743dff585 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
pkg =
	trait t @a
	impl t int
;;

trait t @a =
	frob    : (v : @a -> @a)
;;

impl t int =
	frob = {v
		-> v*2
	}
;;

/* shut up the linker: we just want to compile this. */
const main = {
}