diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-03-03 11:33:24 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-03-03 11:33:24 -0500 |
| commit | fa360eabe5a01815f27a09df4a245546ede9210a (patch) | |
| tree | 7f5200f17894052a8f3824e4219a3c5f7b181b3d | |
| parent | 9808ebc8ed742e6dc99e1420d79306cc0a61a92f (diff) | |
| download | haskell-fa360eabe5a01815f27a09df4a245546ede9210a.tar.gz | |
testsuite: Add comment clarifying intention of completesig04
| -rw-r--r-- | testsuite/tests/pmcheck/complete_sigs/completesig04.hs | 1 | ||||
| -rw-r--r-- | testsuite/tests/pmcheck/complete_sigs/completesig04.stderr | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/pmcheck/complete_sigs/completesig04.hs b/testsuite/tests/pmcheck/complete_sigs/completesig04.hs index 2c072dbfb5..dbe1110be1 100644 --- a/testsuite/tests/pmcheck/complete_sigs/completesig04.hs +++ b/testsuite/tests/pmcheck/complete_sigs/completesig04.hs @@ -1,3 +1,4 @@ +-- Test that a COMPLETE pragma over constructors of different types fails. module TyMismatch where data E = L | R diff --git a/testsuite/tests/pmcheck/complete_sigs/completesig04.stderr b/testsuite/tests/pmcheck/complete_sigs/completesig04.stderr index 72b3ddeb83..21a6377ba3 100644 --- a/testsuite/tests/pmcheck/complete_sigs/completesig04.stderr +++ b/testsuite/tests/pmcheck/complete_sigs/completesig04.stderr @@ -1,4 +1,4 @@ -completesig04.hs:5:1: error: +completesig04.hs:6:1: error: • Cannot form a group of complete patterns from patterns ‘Just’ and ‘L’ as they match different type constructors (‘Maybe’ resp. ‘E’) • In {-# COMPLETE Just, L #-} |