diff options
| author | Sam Clegg <sbc@chromium.org> | 2019-11-26 09:45:14 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-26 09:45:14 -0600 |
| commit | f1716357df721cbbaeacfcf8b1e7a12d4cb99459 (patch) | |
| tree | f34fc05f9963956db564904c4ebe7abfabb67d05 /test/typecheck | |
| parent | 4386b19e2854e8d5f303bd7236a20092ff77cb9a (diff) | |
| download | wabt-f1716357df721cbbaeacfcf8b1e7a12d4cb99459.tar.gz wabt-f1716357df721cbbaeacfcf8b1e7a12d4cb99459.tar.bz2 wabt-f1716357df721cbbaeacfcf8b1e7a12d4cb99459.zip | |
reference-types: add support for typed select (#1253)
Diffstat (limited to 'test/typecheck')
| -rw-r--r-- | test/typecheck/bad-select-value0.txt | 3 | ||||
| -rw-r--r-- | test/typecheck/bad-select-value1.txt | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/test/typecheck/bad-select-value0.txt b/test/typecheck/bad-select-value0.txt index b2833d03..5473b226 100644 --- a/test/typecheck/bad-select-value0.txt +++ b/test/typecheck/bad-select-value0.txt @@ -11,4 +11,7 @@ out/test/typecheck/bad-select-value0.txt:8:5: error: type mismatch in select, expected [f64, f64, i32] but got [i32, f64, f32] select ^^^^^^ +out/test/typecheck/bad-select-value0.txt:8:5: error: type mismatch in function, expected [] but got [f64] + select + ^^^^^^ ;;; STDERR ;;) diff --git a/test/typecheck/bad-select-value1.txt b/test/typecheck/bad-select-value1.txt index 7bb2447d..85ee097b 100644 --- a/test/typecheck/bad-select-value1.txt +++ b/test/typecheck/bad-select-value1.txt @@ -11,4 +11,7 @@ out/test/typecheck/bad-select-value1.txt:8:5: error: type mismatch in select, expected [i64, i64, i32] but got [i32, i64, f32] select ^^^^^^ +out/test/typecheck/bad-select-value1.txt:8:5: error: type mismatch in function, expected [] but got [i64] + select + ^^^^^^ ;;; STDERR ;;) |