Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T9999.stderr
1
2 T9999.hs:13:38: error:
3     • No instance for (Typeable k0) arising from a use of ‘typeRep’
4     • In the second argument of ‘(==)’, namely
5         ‘typeRep (Proxy :: Proxy F1)’
6       In the expression:
7         typeRep (Proxy :: Proxy F) == typeRep (Proxy :: Proxy F1)
8       In an equation for ‘main’:
9           main = typeRep (Proxy :: Proxy F) == typeRep (Proxy :: Proxy F1)