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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
typedef any {}
struct basic_struct {
a i64;
b i64;
c i64;
}
struct complex_struct (A any, B any, C any) {
a A;
b B;
c C;
}
main()
{
/* infer types */
simple_named const = {.a = 1, .b = 2, .c = 3} as basic_struct;
simple_ordinal const = {1, 2, 3} as basic_struct;
simple_mixed const = {1, .b = 2, 3} as basic_struct;
complex_named const = {.a = 1, .b = 2, .c = 3} as complex_struct;
/* should parentheses be required around typeof? */
complex_ordinal const = {1, 2, 3} as typeof complex_named;
complex_mixed const = {1, .b = 2, 3} as complex_struct;
/* force types */
force_named complex_struct(u32, u32, u32) = {.a = 1, .b = 2, .c = 3};
force_ordinal typeof force_named = {1, 2, 3};
force_mixed typeof force_ordinal = {1, .b = 2, 3};
force_inferred_named mut = {.a = 1, .b = 2, .c = 3} as
complex_struct(u32, u32, u32);
force_inferred_ordinal mut = {1, 2, 3} as
complex_struct(u32, u32, u32);
force_inferred_mixed mut = {1, .b = 2, 3} as
complex_struct(u32, u32, u32);
/* shouldn't be compileable due to not enough type info */
// error_named const = {.a = 1, .b = 2, .c = 3};
/* types should be inferred */
force_inferred_named = {.a = 2, .b = 3, .c = 4};
force_inferred_ordinal = {2, 3, 4};
force_inferred_mixed = {2, .b = 3, 4};
}
|
