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
|
(use "errno.witx")
(use "excuse.witx")
(typename $const_excuse_array (list (@witx const_pointer $excuse)))
(typename $excuse_array (list (@witx pointer $excuse)))
(module $lists
(@interface func (export "reduce_excuses")
(param $excuses $const_excuse_array)
(result $error (expected $excuse (error $errno)))
)
(@interface func (export "populate_excuses")
(param $excuses $excuse_array)
(result $error (expected (error $errno)))
)
)
(typename $pair_ints
(record
(field $first s32)
(field $second s32)))
(typename $s32 s32)
(module $array_traversal
(@interface func (export "sum_of_element")
(param $elements (list $pair_ints))
(param $index (@witx usize))
(result $error (expected $s32 (error $errno))))
(@interface func (export "sum_of_elements")
(param $elements (list $pair_ints))
(param $start (@witx usize))
(param $end (@witx usize))
(result $error (expected $s32 (error $errno))))
)
|
