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

T6054.hs:7:14:
    No instance for (Bar '() a0)
      arising from an expression type signature
    In the first argument of ‛print’, namely
      ‛(Proxy :: Bar () a => Proxy a)’
    In the expression: print (Proxy :: Bar () a => Proxy a)
    In an equation for ‛foo’:
        foo = print (Proxy :: Bar () a => Proxy a)