Test Trac #9858 comment:101
[ghc.git] / testsuite / tests / typecheck / should_fail / T9858c.stderr
1
2 T9858c.hs:9:8: error:
3     Couldn't match type ‘Eq Int => Int’ with ‘a0 b0’
4     Expected type: Proxy (a0 b0)
5       Actual type: Proxy (Eq Int => Int)
6     In the first argument of ‘i’, namely
7       ‘(Proxy :: Proxy (Eq Int => Int))’
8     In the expression: i (Proxy :: Proxy (Eq Int => Int))
9     In an equation for ‘j’: j = i (Proxy :: Proxy (Eq Int => Int))