summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T14563.stderr
blob: 2d8150765911b03e369590c0ed9df712f4675f63 (plain)
1
2
3
4
5
6
7
8

T14563.hs:9:39: error:
    • Couldn't match kind ‘rep''’ with ‘'GHC.Types.LiftedRep’
      Expected kind ‘TYPE rep -> TYPE rep''’,
        but ‘h’ has kind ‘TYPE rep -> *’
    • In the second argument of ‘Lan’, namely ‘h’
      In the type ‘Lan g h a’
      In the definition of data constructor ‘Lan’