summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/T3330c.stderr
blob: 52d6afe3e7ec5daae42624e4cb8129fc39553eca (plain)
1
2
3
4
5
6
7
8
9
10
11

T3330c.hs:23:43:
    Couldn't match kind ‛*’ with ‛* -> *’
    When matching types
      Der ((->) x) :: * -> *
      R :: (* -> *) -> *
    Expected type: Der ((->) x) (f1 x)
      Actual type: R f1
    In the first argument of ‛plug’, namely ‛rf’
    In the first argument of ‛Inl’, namely ‛(plug rf df x)’
    In the expression: Inl (plug rf df x)