shithub: mc

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

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