Lower precedence for {-# UNPACK #-}
[ghc.git] / testsuite / tests / typecheck / should_fail / T7869.stderr
1
2 T7869.hs:3:12: error:
3     • Couldn't match type ‘b1’ with ‘b’
4       ‘b1’ is a rigid type variable bound by
5         an expression type signature:
6           forall a1 b1. [a1] -> b1
7         at T7869.hs:3:20-27
8       ‘b’ is a rigid type variable bound by
9         the inferred type of f :: [a] -> b
10         at T7869.hs:3:1-27
11       Expected type: [a1] -> b1
12         Actual type: [a] -> b
13     • In the expression: f x
14       In the expression: (\ x -> f x) :: [a] -> b
15       In an equation for ‘f’: f = (\ x -> f x) :: [a] -> b
16     • Relevant bindings include f :: [a] -> b (bound at T7869.hs:3:1)