testsuite/tests/typecheck/should_fail/T15067.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13


T15067.hs:9:14: error:
    • No instance for (Typeable (# 'GHC.Types.LiftedRep #))
        arising from a use of ‘typeRep’
        GHC can't yet do polykinded
          Typeable ((# 'GHC.Types.LiftedRep #) :: *
                                                  -> *
                                                  -> TYPE
                                                       ('GHC.Types.SumRep
                                                          '[ 'GHC.Types.LiftedRep,
                                                             'GHC.Types.LiftedRep]))
    • In the expression: typeRep
      In an equation for ‘floopadoop’: floopadoop = typeRep