summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_fail/T3621.stderr
blob: dc9dc849abe9f27738595756ceb463dda8308148 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13

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))