shithub: mc

ref: 5362f2f03b9ca372fa7900861d07a9858b9dccb0
dir: /test/genericchain.myr/

View raw version 
use std

generic fail = {val : @a
	-> `std.Some val
}

generic try = {opt : std.option(@b)
	match opt
	| `std.Some v:	-> v
	| `std.None:	std.die("Badness\n")
	;;
}

const main = {
	std.put("val = {}\n", try(fail(123)))
}