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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
;; Heap types
func
funcref
(ref func)
extern
externref
(ref extern)
any
anyref
(ref any)
eq
eqref
(ref eq)
i31
(ref null i31)
i31ref
exn
exnref
(ref exn)
(func)
(struct)
(array i32)
;; Signature
(func)
(ref (func))
(ref null (func))
(func (param i32) (result f64))
(ref (func (param i32) (result f64)))
(ref null (func (param i32) (result f64)))
;; Struct
(struct)
(ref (struct))
(ref null (struct))
(struct (field i32 i64 (mut f32) (mut f64) externref))
(ref (struct (field i32 i64 (mut f32) (mut f64) externref)))
(ref null (struct (field i32 i64 (mut f32) (mut f64) externref)))
;; Array
(array i32)
(ref (array i32))
(ref null (array i32))
(array (mut externref))
(ref (array (mut externref)))
(ref null (array (mut externref)))
;; Tuple
()
none
(i32 f64 externref)
(i32 f64 externref)
;; Rtt
(rtt 0 func)
(rtt 0 func)
(rtt 1 extern)
(rtt 1 extern)
(rtt 2 any)
(rtt 2 any)
(rtt 3 eq)
(rtt 3 eq)
(rtt 4 i31)
(rtt 4 i31)
(rtt 5 exn)
(rtt 5 exn)
(rtt 6 (func))
(rtt 6 (func))
(rtt 7 (struct))
(rtt 7 (struct))
(rtt 8 (array i32))
(rtt 8 (array i32))
;; Signature of references (param/result)
(func (param (ref null (struct))) (result (ref (array (mut i32)))))
;; Signature of references (params/results)
(func (param (ref null (struct)) (ref (array (mut i32)))) (result (ref (struct)) (ref null (array i32))))
;; Struct of references
(struct (field (ref (func)) (mut (ref (func))) (ref null (func)) (mut (ref null (func)))))
(ref (struct (field (ref (func)) (mut (ref (func))) (ref null (func)) (mut (ref null (func))))))
(ref null (struct (field (ref (func)) (mut (ref (func))) (ref null (func)) (mut (ref null (func))))))
(struct (field (ref (struct)) (mut (ref (struct))) (ref null (struct)) (mut (ref null (struct)))))
(ref (struct (field (ref (struct)) (mut (ref (struct))) (ref null (struct)) (mut (ref null (struct))))))
(ref null (struct (field (ref (struct)) (mut (ref (struct))) (ref null (struct)) (mut (ref null (struct))))))
(struct (field (ref (array i32)) (mut (ref (array i32))) (ref null (array i32)) (mut (ref null (array i32)))))
(ref (struct (field (ref (array i32)) (mut (ref (array i32))) (ref null (array i32)) (mut (ref null (array i32))))))
(ref null (struct (field (ref (array i32)) (mut (ref (array i32))) (ref null (array i32)) (mut (ref null (array i32))))))
(struct (field (mut i32) (mut (ref null (func))) (mut (ref null (struct))) (mut (ref null (array (mut i32))))))
(ref (struct (field (mut i32) (mut (ref null (func))) (mut (ref null (struct))) (mut (ref null (array (mut i32)))))))
(ref null (struct (field (mut i32) (mut (ref null (func))) (mut (ref null (struct))) (mut (ref null (array (mut i32)))))))
;; Array of references
(array (ref null (func)))
(ref (array (ref null (func))))
(ref null (array (ref null (func))))
(array (mut (ref null (struct))))
(ref (array (mut (ref null (struct)))))
(ref null (array (mut (ref null (struct)))))
(array (ref null (array i32)))
(ref (array (ref null (array i32))))
(ref null (array (ref null (array i32))))
;; Tuple of references
((ref (func)) (ref null (func)) (ref (struct)) (ref null (struct)) (ref (array i32)) (ref null (array i32)))
((ref (func)) (ref null (func)) (ref (struct)) (ref null (struct)) (ref (array i32)) (ref null (array i32)))
;; Recursive (not really)
(func (param (ref (func))))
(ref (func (param (ref (func)))))
(func (param (ref (array (ref (func))))))
(ref (func (param (ref (array (ref (func)))))))
|
