diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-16 14:30:00 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-17 10:07:22 -0400 |
| commit | b5565f1a79fd24fc45a6f1a58821a317852d4b89 (patch) | |
| tree | 1b309bdfa7d842635e731151286c651343f2a783 /testsuite/tests/patsyn | |
| parent | 46f9a476e17714e27d893b491cc0dcf68c745249 (diff) | |
| download | haskell-b5565f1a79fd24fc45a6f1a58821a317852d4b89.tar.gz | |
Fix #11711.
There were two bugs here, both simple: we need to filter out
covars before calling isMetaTyVar in the solver, and TcPat had
a tcSubType the wrong way round.
test case: dependent/should_compile/T11711
Diffstat (limited to 'testsuite/tests/patsyn')
| -rw-r--r-- | testsuite/tests/patsyn/should_fail/mono.stderr | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/testsuite/tests/patsyn/should_fail/mono.stderr b/testsuite/tests/patsyn/should_fail/mono.stderr index 2bed60eafb..20714e7565 100644 --- a/testsuite/tests/patsyn/should_fail/mono.stderr +++ b/testsuite/tests/patsyn/should_fail/mono.stderr @@ -1,12 +1,12 @@ -mono.hs:7:4: - Couldn't match type ‘Int’ with ‘Bool’ - Expected type: [Bool] - Actual type: [Int] - In the pattern: Single x - In an equation for ‘f’: f (Single x) = x +mono.hs:7:4: error: + • Couldn't match type ‘Bool’ with ‘Int’ + Expected type: [Int] + Actual type: [Bool] + • In the pattern: Single x + In an equation for ‘f’: f (Single x) = x -mono.hs:7:16: - Couldn't match expected type ‘Bool’ with actual type ‘Int’ - In the expression: x - In an equation for ‘f’: f (Single x) = x +mono.hs:7:16: error: + • Couldn't match expected type ‘Bool’ with actual type ‘Int’ + • In the expression: x + In an equation for ‘f’: f (Single x) = x |