Synchronize ClsInst.doTyConApp with TcTypeable validity checks (#15862)
[ghc.git] / testsuite / tests / typecheck / should_fail / T15862.stderr
1
2 T15862.hs:17:7: error:
3     • No instance for (Typeable 'MkFoo) arising from a use of ‘typeRep’
4         GHC can't yet do polykinded
5           Typeable ('MkFoo :: (forall a. a) -> Foo)
6     • In the expression: typeRep @MkFoo
7       In an equation for ‘foo’: foo = typeRep @MkFoo
8
9 T15862.hs:25:7: error:
10     • No instance for (Typeable 'MkBar) arising from a use of ‘typeRep’
11         GHC can't yet do polykinded Typeable ('MkBar :: Bool -> Bar)
12     • In the expression: typeRep
13       In an equation for ‘bar’: bar = typeRep
14
15 T15862.hs:30:8: error:
16     • No instance for (Typeable 'MkQuux)
17         arising from a use of ‘typeRep’
18         GHC can't yet do polykinded
19           Typeable ('MkQuux :: (# Bool | Int #) -> Quux)
20     • In the expression: typeRep
21       In an equation for ‘quux’: quux = typeRep
22
23 T15862.hs:36:8: error:
24     • No instance for (Typeable 'MkQuuz)
25         arising from a use of ‘typeRep’
26         GHC can't yet do polykinded Typeable ('MkQuuz :: Quuz)
27     • In the expression: typeRep
28       In an equation for ‘quuz’: quuz = typeRep