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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

;; Ensure that anonymous structured types are not allowed in type positions at
;; this time, everything has to be named to assist in binding in languages.

(assert_invalid
  (witx
    (module $x (typename $a (@witx pointer (record (field $b u8)))))
  )
  "Anonymous structured types")

(assert_invalid
  (witx
    (module $x (typename $a (@witx pointer (union))))
  )
  "Anonymous structured types")

(assert_invalid
  (witx
    (module $x (typename $a (@witx pointer (enum $b))))
  )
  "Anonymous structured types")

(assert_invalid
  (witx
    (module $x (typename $a (@witx pointer (flags $b))))
  )
  "Anonymous structured types")

(assert_invalid
  (witx (module $x
    (resource $x)
    (typename $a (@witx pointer (handle $x)))
  ))
  "Anonymous structured types")

(assert_invalid
  (witx
    (module $x (typename $a (record (field $b (record (field $c u8))))))
  )
  "Anonymous structured types")

(assert_invalid
  (witx (module $x
    (typename $tag (enum $c))
    (typename $a (record (field $b (union))))
  ))
  "Anonymous structured types")


;; pointers don't count for anonymous indirections
(witx
  (module $x (typename $a (@witx pointer u8))))

(witx
  (module $x (typename $a (@witx pointer (@witx const_pointer u8)))))

(witx
  (module $x (typename $a (record (field $b (@witx pointer u8))))))