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