diff options
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T15215.stderr')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T15215.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/dependent/should_fail/T15215.stderr b/testsuite/tests/dependent/should_fail/T15215.stderr index 51119c1e7a..f7a91650d1 100644 --- a/testsuite/tests/dependent/should_fail/T15215.stderr +++ b/testsuite/tests/dependent/should_fail/T15215.stderr @@ -1,11 +1,11 @@ -T15215.hs:11:3: error: +T15215.hs:11:3: error: [GHC-80003] • Non type-variable argument in the constraint: Show (Maybe a) • In the definition of data constructor ‘MkA’ In the data type declaration for ‘A’ Suggested fix: Perhaps you intended to use FlexibleContexts -T15215.hs:18:14: error: +T15215.hs:18:14: error: [GHC-88634] • Data constructor ‘MkB’ cannot be used here (it has an unpromotable context ‘Show a’) • In the first argument of ‘SA’, namely ‘MkB’ |