summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T9858b.stderr
blob: 656ff53c9568cf334a83c3a19ca922332f321dde (plain)
1
2
3
4
5
6
7
8

T9858b.hs:7:8: error:
    No instance for (Typeable (Eq Int => Int))
      arising from a use of ‘typeRep’
      (maybe you haven't applied a function to enough arguments?)
    In the expression: typeRep (Proxy :: Proxy (Eq Int => Int))
    In an equation for ‘test’:
        test = typeRep (Proxy :: Proxy (Eq Int => Int))