shithub: mc

ref: da5f858f60c9a8d52add2f60845483be2f4b416e
dir: /test/infer-named.myr/

use std

type u = union
	`Foo
	`Bar int
;;

const f = {v : int -> u
	-> `Bar v
}

const main = {
	var v

	v = f(99)
	match v
	`Foo:	-> 1;;
	`Bar x:	-> x;;
	;;
	-> 2
}