Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T6054.stderr
1
2 T6054.hs:7:14: error:
3     • No instance for (Bar '() a0)
4         arising from an expression type signature
5     • In the first argument of ‘print’, namely
6         ‘(Proxy :: Bar '() a => Proxy a)’
7       In the expression: print (Proxy :: Bar '() a => Proxy a)
8       In an equation for ‘foo’:
9           foo = print (Proxy :: Bar '() a => Proxy a)