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