ref: 8bd18e2d1caef67781ae69d761bdfca8d2bcf41d
dir: /test/trait-builtin.myr/
use std
/* checks that generic types with traits are compiled correctly.
without the 'tcnum' trait on '@a', the '>' operator would not work
within max. without the 'tctest' trait on '@a' in intlike_is42,
comparing to 42 wouldn't work.
exits with 42.
*/
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)
;;
}