witx 0.9.1

Parse and validate witx file format
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

;; B uses A, and C uses A.
(witx $multi
  (load "multimodule/type_b.witx" "multimodule/type_c.witx")
)

(witx $reference
  (typename $a u32)
  (typename $b (record (field $member_a $a)))
  (typename $c (record (field $first_a $a) (field $second_a $a)))
)

(assert_representable eq $reference "a" $multi "a")
(assert_representable eq $reference "b" $multi "b")
(assert_representable eq $reference "c" $multi "c")

(assert_invalid
  (witx
    (load
          "multimodule/type_a.witx"
          "multimodule/redefine_a.witx")
  )
  "Redefinition of name `a`")