wasm-tools 1.240.0

CLI tools for interoperating with WebAssembly files
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

;; RUN: wast --assert default --snapshot tests/snapshots %

(module
  (func $a1
    i32.const 0
    (if (then) (else))
  )
  (func $a2
    (if (i32.const 1) (i32.eqz) (then) (else))
  )
  (func $a3
    (if (i32.const 1) (i32.eqz) (then))
  )
  (func $a4
    (if (i32.const 1) (i32.eqz) (then nop))
  )
)
(assert_malformed
  (module quote
    "(func (if))"
  )
  "no `then`")

(assert_malformed
  (module quote
    "(func (if (else)))"
  )
  "no `then`")

(assert_malformed
  (module quote
    "(func (if nop (else)))"
  )
  "expected `(`")
(assert_malformed
  (module quote
    "(func (if (nop) (else)))"
  )
  "no `then`")
(assert_malformed
  (module quote
    "(func (if (nop) nop (then)))"
  )
  "expected `(`")