summaryrefslogtreecommitdiff
path: root/test/typecheck/bad-compare-type-mismatch-1.txt
blob: 80fc70473505dca21d9d7803beea160effe20a2e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
;;; TOOL: wat2wasm
;;; ERROR: 1
(module
  (func
    f32.const 0
    i32.const 0
    i32.eq
    drop))
(;; STDERR ;;;
out/test/typecheck/bad-compare-type-mismatch-1.txt:7:5: error: type mismatch in i32.eq, expected [i32, i32] but got [f32, i32]
    i32.eq
    ^^^^^^
;;; STDERR ;;)