blob: e373350946af1ce4955098fd2886395904b71347 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
use std
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 = {
}
|