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
|
package test:flags-check
world flags-test-world {
flags single { a }
export roundtrip-single: func(v: single) -> single
flags many-u8 {
f00, f01, f02, f03, f04, f05, f06, f07,
}
export roundtrip-many-u8: func(v: many-u8) -> many-u8
flags many-u16 {
f00, f01, f02, f03, f04, f05, f06, f07,
f08, f09, f10, f11, f12, f13, f14, f15,
}
export roundtrip-many-u16: func(v: many-u16) -> many-u16
flags many-u32 {
f00, f01, f02, f03, f04, f05, f06, f07,
f08, f09, f10, f11, f12, f13, f14, f15,
f16, f17, f18, f19, f20, f21, f22, f23,
f24, f25, f26, f27, f28, f29, f30, f31,
}
export roundtrip-many-u32: func(v: many-u32) -> many-u32
flags many-u64 {
f00, f01, f02, f03, f04, f05, f06, f07,
f08, f09, f10, f11, f12, f13, f14, f15,
f16, f17, f18, f19, f20, f21, f22, f23,
f24, f25, f26, f27, f28, f29, f30, f31,
f32, f33, f34, f35, f36, f37, f38, f39,
f40, f41, f42, f43, f44, f45, f46, f47,
f48, f49, f50, f51, f52, f53, f54, f55,
f56, f57, f58, f59, f60, f61, f62, f63,
}
export roundtrip-many-u64: func(v: many-u64) -> many-u64
}
|
