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

T6054.hs:7:14: error:
    • 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)