blob: da8638696f2e1ff589f3b8b2e738c95e671c35f9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
;;; TOOL: wat2wasm
;;; ERROR: 1
(module
(func (result i32)
block
block
f32.const 0
br_table 0 1
end
i32.const 1
return
end
i32.const 2))
(;; STDERR ;;;
out/test/typecheck/bad-brtable-type-mismatch.txt:8:9: error: type mismatch in br_table, expected [i32] but got [f32]
br_table 0 1
^^^^^^^^
;;; STDERR ;;)
|
