shithub: mc

ref: 7d590b64d3ad57239c8835b2fd1a0d2db2b2981a
dir: /test/genericmake.myr/

View raw version 
use std

type t(@ty) = union
	`Some @ty
	`None
;;

const make = {v
	-> `Some v
}

const main = {
	var x

	x = make(123)
	match x
	| `std.Some v:	std.put("val = %i\n", v)
	| `std.None:	std.die("Unreachable\n")
	;;
}