diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/PatSynExistential.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/PatSynExistential.stderr | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_fail/PatSynExistential.stderr b/testsuite/tests/typecheck/should_fail/PatSynExistential.stderr index 326974dc55..fe75d0bc24 100644 --- a/testsuite/tests/typecheck/should_fail/PatSynExistential.stderr +++ b/testsuite/tests/typecheck/should_fail/PatSynExistential.stderr @@ -1,4 +1,5 @@ -PatSynExistential.hs:6:1: [GHC-33973] - The result type of the signature for ‘P’, namely ‘x -> Maybe x’ + +PatSynExistential.hs:6:1: error: [GHC-33973] + • The result type of the signature for ‘P’, namely ‘x -> Maybe x’ mentions existential type variable ‘x’ - In the declaration for pattern synonym ‘P’ + • In the declaration for pattern synonym ‘P’ |