shithub: mc

ref: c0c0b95a971cc5da839e7453ac3c7c069b5f20cd
dir: /test/exporttrait.myr/

View raw version
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 = {
}