shithub: mc

ref: ceab69f32aa9b98b40be8f76e3b29a86c0cdb3cb
dir: /test/cstr-builtin.myr/

View raw version 
generic max = {a:@a::tcnum, b:@a::tcnum
	if a > b
		-> a
	else
		-> b
	;;
}

generic intlike_is42 = {a : @a::(tcnum,tctest,tcint)
	-> a == 42
}
const main = {
	if intlike_is42(123)
	    -> 16
	else
	    -> max(12, 42)
	;;
}