blob: 60be1416ce9965b0cc5b0025beccc9780a86f790 (
plain)
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
|
;;; TOOL: wat2wasm
;;; ERROR: 1
(module
(import "foo" "bar" (func $import (result f32)))
(func $direct (result i64) (i64.const 0))
(type $indirect (func (result i64)))
(table funcref (elem $direct))
(func
if
call $direct
else
nop
end
if
call $import
else
nop
end
if
i32.const 0
call_indirect (type $indirect)
else
nop
end))
(;; STDERR ;;;
out/test/typecheck/bad-call-result-mismatch.txt:10:5: error: type mismatch in if, expected [i32] but got []
if
^^
out/test/typecheck/bad-call-result-mismatch.txt:11:7: error: type mismatch at end of `if true` branch, expected [] but got [i64]
call $direct
^^^^
out/test/typecheck/bad-call-result-mismatch.txt:15:5: error: type mismatch in if, expected [i32] but got []
if
^^
out/test/typecheck/bad-call-result-mismatch.txt:16:7: error: type mismatch at end of `if true` branch, expected [] but got [f32]
call $import
^^^^
out/test/typecheck/bad-call-result-mismatch.txt:20:5: error: type mismatch in if, expected [i32] but got []
if
^^
out/test/typecheck/bad-call-result-mismatch.txt:22:7: error: type mismatch at end of `if true` branch, expected [] but got [i64]
call_indirect (type $indirect)
^^^^^^^^^^^^^
;;; STDERR ;;)
|
