summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/typecheck/should_fail/T2994.stderr
blob: 7eab543ad47ae9641e14144edb7782c2464bc06c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

T2994.hs:11:10:
    `MonadReader Int' is not applied to enough type arguments
    Expected kind `*', but `MonadReader Int' has kind `* -> *'
    In the instance declaration for `MonadReader Int'

T2994.hs:13:23:
    `Reader' r' is not applied to enough type arguments
    The first argument of `MonadReader' should have kind `*',
    but `Reader' r' has kind `* -> *'
    In the instance declaration for `MonadReader (Reader' r)'

T2994.hs:15:10:
    `MonadReader' is applied to too many type arguments
    In the instance declaration for `MonadReader r r (Reader' r)'