[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