diff options
| author | Reid Barton <rwbarton@gmail.com> | 2017-03-03 09:50:50 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-03-03 10:03:32 -0500 |
| commit | 61e760b08704ba1c9aceeaffbd0cb207b345a2ef (patch) | |
| tree | 9cc4bc4427503bcd1876da58a67607043ef874a0 | |
| parent | c02896abdb4cdbbec93a0a670f4d7f5dcc95cc25 (diff) | |
| download | haskell-61e760b08704ba1c9aceeaffbd0cb207b345a2ef.tar.gz | |
Update test completesig04
It relied on an orphan COMPLETE pragma, so was broken by commit fce3d37c3.
Test Plan: validate
Reviewers: austin, bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D3266
| -rw-r--r-- | testsuite/tests/pmcheck/complete_sigs/completesig04.hs | 4 | ||||
| -rw-r--r-- | testsuite/tests/pmcheck/complete_sigs/completesig04.stderr | 8 |
2 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/pmcheck/complete_sigs/completesig04.hs b/testsuite/tests/pmcheck/complete_sigs/completesig04.hs index 0d8eb81660..2c072dbfb5 100644 --- a/testsuite/tests/pmcheck/complete_sigs/completesig04.hs +++ b/testsuite/tests/pmcheck/complete_sigs/completesig04.hs @@ -1,3 +1,5 @@ module TyMismatch where -{-# COMPLETE Just, Left #-} +data E = L | R + +{-# COMPLETE Just, L #-} diff --git a/testsuite/tests/pmcheck/complete_sigs/completesig04.stderr b/testsuite/tests/pmcheck/complete_sigs/completesig04.stderr index de990c7fa9..72b3ddeb83 100644 --- a/testsuite/tests/pmcheck/complete_sigs/completesig04.stderr +++ b/testsuite/tests/pmcheck/complete_sigs/completesig04.stderr @@ -1,6 +1,4 @@ -completesig04.hs:3:1: error: - • Orphan COMPLETE pragmas not supported - A COMPLETE pragma must mention at least one data constructor - or pattern synonym defined in the same module. - • In {-# COMPLETE Just, Left #-} +completesig04.hs:5: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 #-} |