summaryrefslogtreecommitdiff
path: root/test/typecheck/bad-empty-catch.txt
blob: 1a4450c3a89726dda1244ca6780d084d96dae3ce (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
;;; TOOL: wat2wasm
;;; ARGS: --enable-exceptions
;;; ERROR: 1
(module
  (tag (param i32))
  (func
    try
    catch 0
    end
  ))
(;; STDERR ;;;
out/test/typecheck/bad-empty-catch.txt:9:5: error: type mismatch at end of try catch, expected [] but got [i32]
    end
    ^^^
;;; STDERR ;;)