shithub: mc

ref: 4f90a4d919cc5862fd3ecbffc62b94b515dda7d3
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)
	;;
}