Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T13555.stderr
1
2 T13555.hs:25:14: error:
3     • Couldn't match type ‘k2’ with ‘k0’
4       ‘k2’ is a rigid type variable bound by
5         the type signature for:
6           crtInfo :: forall k2 (m :: k2).
7                      Reflects m Int =>
8                      TaggedT m Maybe (CRTInfo (GF fp d))
9         at T13555.hs:25:14-79
10       Expected type: TaggedT m Maybe (CRTInfo (GF fp d))
11         Actual type: TaggedT m0 Maybe (CRTInfo (GF fp d))
12     • When checking that instance signature for ‘crtInfo’
13         is more general than its signature in the class
14         Instance sig: forall (m :: k0).
15                       Reflects m Int =>
16                       TaggedT m Maybe (CRTInfo (GF fp d))
17            Class sig: forall k2 (m :: k2).
18                       Reflects m Int =>
19                       TaggedT m Maybe (CRTInfo (GF fp d))
20       In the instance declaration for ‘CRTrans Maybe (GF fp d)’