testsuite/tests/typecheck/should_fail/T6022.stderr


1
2
3
4
5
6


T6022.hs:3:1: error:
    • Non type-variable argument in the constraint: Eq ([a] -> a)
      (Use FlexibleContexts to permit this)
    • When checking the inferred type
        f :: forall a. Eq ([a] -> a) => ([a] -> a) -> Bool