diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T3621.stderr')
-rw-r--r-- | testsuite/tests/deriving/should_fail/T3621.stderr | 22 |
1 files changed, 9 insertions, 13 deletions
diff --git a/testsuite/tests/deriving/should_fail/T3621.stderr b/testsuite/tests/deriving/should_fail/T3621.stderr index dc9dc849ab..a944956da5 100644 --- a/testsuite/tests/deriving/should_fail/T3621.stderr +++ b/testsuite/tests/deriving/should_fail/T3621.stderr @@ -1,13 +1,9 @@ - -T3621.hs:21:21: - Couldn't match type `s' with `state' - `s' is an unknown type variable - `state' is an unknown type variable - When using functional dependencies to combine - MonadState s (State s), - arising from the dependency `m -> s' - in the instance declaration at T3621.hs:18:10 - MonadState state (State s), - arising from the 'deriving' clause of a data type declaration - at T3621.hs:21:21-36 - When deriving the instance for (MonadState state (WrappedState s)) +
+T3621.hs:21:21:
+ No instance for (MonadState state (State s))
+ arising from the 'deriving' clause of a data type declaration
+ Possible fix:
+ add an instance declaration for (MonadState state (State s))
+ or use a standalone 'deriving instance' declaration,
+ so you can specify the instance context yourself
+ When deriving the instance for (MonadState state (WrappedState s))
|