diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T5300.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T5300.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T5300.stderr b/testsuite/tests/typecheck/should_fail/T5300.stderr index a64f5fd090..63aed82773 100644 --- a/testsuite/tests/typecheck/should_fail/T5300.stderr +++ b/testsuite/tests/typecheck/should_fail/T5300.stderr @@ -1,5 +1,5 @@ -T5300.hs:12:7: error: +T5300.hs:12:7: error: [GHC-39999] • Could not deduce ‘C1 a b c0’ from the context: (Monad m, C1 a b c) bound by the type signature for: @@ -13,7 +13,7 @@ T5300.hs:12:7: error: In the type signature: f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a -T5300.hs:15:7: error: +T5300.hs:15:7: error: [GHC-39999] • Could not deduce ‘C1 a1 b1 c10’ from the context: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) bound by the type signature for: |