/
type.wast
50 lines (43 loc) · 1.4 KB
/
type.wast
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
;; Test type definitions
(module
(type (func))
(type $t (func))
(type (func (param i32)))
(type (func (param $x i32)))
(type (func (result i32)))
(type (func (param i32) (result i32)))
(type (func (param $x i32) (result i32)))
(type (func (param f32 f64)))
(type (func (result i64 f32)))
(type (func (param i32 i64) (result f32 f64)))
(type (func (param f32) (param f64)))
(type (func (param $x f32) (param f64)))
(type (func (param f32) (param $y f64)))
(type (func (param $x f32) (param $y f64)))
(type (func (result i64) (result f32)))
(type (func (param i32) (param i64) (result f32) (result f64)))
(type (func (param $x i32) (param $y i64) (result f32) (result f64)))
(type (func (param f32 f64) (param $x i32) (param f64 i32 i32)))
(type (func (result i64 i64 f32) (result f32 i32)))
(type
(func (param i32 i32) (param i64 i32) (result f32 f64) (result f64 i32))
)
(type (func (param) (param $x f32) (param) (param) (param f64 i32) (param)))
(type
(func (result) (result) (result i64 i64) (result) (result f32) (result))
)
(type
(func
(param i32 i32) (param i64 i32) (param) (param $x i32) (param)
(result) (result f32 f64) (result f64 i32) (result)
)
)
)
(assert_malformed
(module quote "(type (func (result i32) (param i32)))")
"unexpected token"
)
(assert_malformed
(module quote "(type (func (result $x i32)))")
"unexpected token"
)