diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2017-02-05 20:27:41 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-02-05 20:27:42 -0500 |
commit | adb565aa74582969bbcc3b411d6d518b1c76c3cf (patch) | |
tree | de4a0915d23be562311d3dd9dafe2588fddeaac1 /testsuite/tests/ghci | |
parent | 0abe7361249b0b4dc43dc66547451da8916b30bf (diff) | |
download | haskell-adb565aa74582969bbcc3b411d6d518b1c76c3cf.tar.gz |
Don't return empty initial uncovered set for an unsat context
Previously when the checker encountered an unsatisfiable term of type
context it would return an empty initial uncovered set. This caused all
pattern matches in the context to be reported as redudant.
This is arguably correct behaviour as they will never be reached but it
is better to recover and provide accurate warnings for these cases to
avoid error cascades. It would perhaps be better to report an error to
the user about an inacessible branch but this is certainly better than
many confusing redundant match warnings.
Reviewers: gkaracha, austin, bgamari
Reviewed By: bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D3064
Diffstat (limited to 'testsuite/tests/ghci')
-rw-r--r-- | testsuite/tests/ghci/scripts/Defer02.stderr | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/testsuite/tests/ghci/scripts/Defer02.stderr b/testsuite/tests/ghci/scripts/Defer02.stderr index b9764c3b7b..527a987d7d 100644 --- a/testsuite/tests/ghci/scripts/Defer02.stderr +++ b/testsuite/tests/ghci/scripts/Defer02.stderr @@ -84,10 +84,6 @@ Defer01.hs:43:10: warning: [-Wdeferred-type-errors (in -Wdefault)] In the expression: myOp 23 In an equation for ‘j’: j = myOp 23 -Defer01.hs:47:1: warning: [-Woverlapping-patterns (in -Wdefault)] - Pattern match is redundant - In an equation for ‘k’: k x = ... - Defer01.hs:50:5: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘IO a0’ with actual type ‘Char -> IO ()’ |