blob: a3cd78e2e18d4f919fab04d24f2fad862ab3ef1a (
plain)
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 that âfâ has the inferred type
f :: forall a. Eq ([a] -> a) => ([a] -> a) -> Bool
|