shithub: mc

ref: 4665f57c5a86ade9ef524b3d7380f6fcd1abb0ff
dir: /test/generictype.myr/

View raw version 
use std

/* checks that parameterized types work. exits with 0. */
type option(@a::(integral,numeric)) = union
	`Some @a::(integral,numeric)
	`None
;;

const main = {
	var v

	v = `Some 123
	match v
	| `None:	std.exit(1)
	| `Some 123:	std.exit(0)
	| `Some _:	std.die("Impossible match failure\n")
	;;
	std.exit(60)
}