blob: 93c5bda04f0d3666f3f2940c0dd6bddd7fe72efe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
use std
/* checks that generic types with traits are compiled correctly.
without the 'numeric' 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::numeric, b:@a::numeric
if a > b
-> a
else
-> b
;;
}
generic intlike_is42 = {a : @a::(numeric,integral)
-> a == 42
}
const main = {
if intlike_is42(123)
std.exit(16)
else
std.exit(max(12, 42))
;;
}
|