testsuite: Add comment clarifying intention of completesig04
authorBen Gamari <ben@smart-cactus.org>
Fri, 3 Mar 2017 16:33:24 +0000 (11:33 -0500)
committerBen Gamari <ben@smart-cactus.org>
Fri, 3 Mar 2017 16:33:24 +0000 (11:33 -0500)
testsuite/tests/pmcheck/complete_sigs/completesig04.hs
testsuite/tests/pmcheck/complete_sigs/completesig04.stderr

index 2c072db..dbe1110 100644 (file)
@@ -1,3 +1,4 @@
+-- Test that a COMPLETE pragma over constructors of different types fails.
 module TyMismatch where
 
 data E = L | R
index 72b3dde..21a6377 100644 (file)
@@ -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 #-}