b57098e8b4750c28cf367193f0672171f6bc7619
[ghc.git] / testsuite / tests / typecheck / should_fail / T9858b.stderr
1
2 T9858b.hs:7:8: error:
3     No instance for (Typeable (Eq Int => Int))
4       (maybe you haven't applied a function to enough arguments?)
5       arising from a use of ‘typeRep’
6     In the expression: typeRep (Proxy :: Proxy (Eq Int => Int))
7     In an equation for ‘test’:
8         test = typeRep (Proxy :: Proxy (Eq Int => Int))