From f1716357df721cbbaeacfcf8b1e7a12d4cb99459 Mon Sep 17 00:00:00 2001 From: Sam Clegg Date: Tue, 26 Nov 2019 09:45:14 -0600 Subject: reference-types: add support for typed select (#1253) --- test/typecheck/bad-select-value0.txt | 3 +++ test/typecheck/bad-select-value1.txt | 3 +++ 2 files changed, 6 insertions(+) (limited to 'test/typecheck') 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 ;;) -- cgit v1.2.3