witnext 0.10.0-beta3

witx parser for the witx-codegen webassembly code generator
Documentation 
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

(assert_invalid
  (witx (module $b (typename $x (handle $y))))
  "Unknown name `y`")

(assert_invalid
  (witx (module $b
    (typename $y u32)
    (typename $x (handle $y))))
  "Unknown name `y`")

(assert_invalid
  (witx (module $b
    (resource $x)
    (resource $x)))
  "Redefinition of name `x`")

(witx (module $b
  (resource $x)
  (typename $x (handle $x))))

(witx (module $a
  (resource $x)
  (typename $x (handle $x))
  (typename $y (handle $x))
))

(assert_eq $a "x" $a "y")

(witx (module $a
  (resource $x)
  (resource $y)
  (typename $x (handle $x))
  (typename $y (handle $y))
))

(assert_ne $a "x" $a "y")

(witx (load "resources/multi.witx"))

(assert_eq $multi "x1" $multi "x2")
(assert_ne $multi "y1" $multi "y2")