summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T6054.stderr
blob: 645db8912f0633e56c67660d6188d9797206e9a6 (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)