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
|
;; Heap types
func
funcref
(ref func)
any
anyref
(ref any)
eq
eqref
(ref eq)
i31
(ref null i31)
i31ref
(func)
(struct)
(array i32)
;; Signature
(func)
(ref $func.0)
(ref null $func.0)
(func (param i32) (result f64))
(ref $func.0)
(ref null $func.0)
;; Struct
(struct)
(ref $struct.0)
(ref null $struct.0)
(struct (field i32 i64 (mut f32) (mut f64) anyref))
(ref $struct.0)
(ref null $struct.0)
;; Array
(array i32)
(ref $array.0)
(ref null $array.0)
(array (mut anyref))
(ref $array.0)
(ref null $array.0)
;; Tuple
()
none
(i32 f64 anyref)
(i32 f64 anyref)
;; Rtt
(rtt 0 func)
(rtt 0 func)
(rtt 2 any)
(rtt 2 any)
(rtt 3 eq)
(rtt 3 eq)
(rtt 4 i31)
(rtt 4 i31)
(rtt 6 $func.0)
(rtt 6 $func.0)
(rtt 7 $struct.0)
(rtt 7 $struct.0)
(rtt 8 $array.0)
(rtt 8 $array.0)
;; Signature of references (param/result)
(func (param (ref null $struct.0)) (result (ref $array.0)))
;; Signature of references (params/results)
(func (param (ref null $struct.0) (ref $array.0)) (result (ref $struct.0) (ref null $array.1)))
;; Struct of references
(struct (field (ref $func.0) (mut (ref $func.0)) (ref null $func.0) (mut (ref null $func.0))))
(ref $struct.0)
(ref null $struct.0)
(struct (field (ref $struct.0) (mut (ref $struct.0)) (ref null $struct.0) (mut (ref null $struct.0))))
(ref $struct.0)
(ref null $struct.0)
(struct (field (ref $array.0) (mut (ref $array.0)) (ref null $array.0) (mut (ref null $array.0))))
(ref $struct.0)
(ref null $struct.0)
(struct (field (mut i32) (mut (ref null $func.0)) (mut (ref null $struct.0)) (mut (ref null $array.0))))
(ref $struct.0)
(ref null $struct.0)
;; Array of references
(array (ref null $func.0))
(ref $array.0)
(ref null $array.0)
(array (mut (ref null $struct.0)))
(ref $array.0)
(ref null $array.0)
(array (ref null $array.0))
(ref $array.0)
(ref null $array.0)
;; Tuple of references
((ref $func.0) (ref null $func.0) (ref $struct.0) (ref null $struct.0) (ref $array.0) (ref null $array.0))
((ref $func.0) (ref null $func.0) (ref $struct.0) (ref null $struct.0) (ref $array.0) (ref null $array.0))
;; Recursive (not really)
(func (param (ref $func.0)))
(ref $func.0)
(func (param (ref $array.0)))
(ref $func.0)
|
