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

T15577.hs:21:18: error:
    • Expecting one more argument to ‘f’
      Expected a type, but ‘f’ has kind ‘* -> *’
    • In the type ‘f’
      In a stmt of a pattern guard for
                     an equation for ‘g’:
        Refl <- f @f @a @r r
      In an equation for ‘g’: g r | Refl <- f @f @a @r r = Refl