[commit: ghc] master: Update test completesig04 (61e760b)
git at git.haskell.org
git at git.haskell.org
Fri Mar 3 16:22:16 UTC 2017
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/61e760b08704ba1c9aceeaffbd0cb207b345a2ef/ghc
>---------------------------------------------------------------
commit 61e760b08704ba1c9aceeaffbd0cb207b345a2ef
Author: Reid Barton <rwbarton at gmail.com>
Date: Fri Mar 3 09:50:50 2017 -0500
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
>---------------------------------------------------------------
61e760b08704ba1c9aceeaffbd0cb207b345a2ef
testsuite/tests/pmcheck/complete_sigs/completesig04.hs | 4 +++-
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 0d8eb81..2c072db 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 de990c7..72b3dde 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 #-}
More information about the ghc-commits
mailing list