shithub: mc

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