diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/bad-empty-catch.txt | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/typecheck/bad-empty-catch.txt b/test/typecheck/bad-empty-catch.txt new file mode 100644 index 00000000..1d3f5429 --- /dev/null +++ b/test/typecheck/bad-empty-catch.txt @@ -0,0 +1,14 @@ +;;; TOOL: wat2wasm +;;; ARGS: --enable-exceptions +;;; ERROR: 1 +(module + (func + try + catch + end + )) +(;; STDERR ;;; +out/test/typecheck/bad-empty-catch.txt:7:5: error: type mismatch in try catch, expected [] but got [exnref] + catch + ^^^^^ +;;; STDERR ;;) |