T7869.stderr 552 Bytes
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1

2
T7869.hs:3:12: error:
3 4
    • Couldn't match type ‘b’ with ‘b1’
        because type variable ‘b1’ would escape its scope
5 6 7 8 9 10 11 12 13
      This (rigid, skolem) type variable is bound by
        an expression type signature:
          [a1] -> b1
        at T7869.hs:3:5-27
      Expected type: [a1] -> b1
        Actual type: [a] -> b
    • In the expression: f x
      In the expression: (\ x -> f x) :: [a] -> b
      In an equation for ‘f’: f = (\ x -> f x) :: [a] -> b
14
    • Relevant bindings include f :: [a] -> b (bound at T7869.hs:3:1)