shithub: mc

ref: 979a0dd6fec80a4fe66ced0b5e2ba30cd574abc1
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)
	;;
}