T9605.stderr 411 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11

T9605.hs:7:6:
    Couldn't match type ‘Bool’ with ‘m Bool’
    Expected type: t0 -> m Bool
      Actual type: t0 -> Bool
    Relevant bindings include f2 :: m Bool (bound at T9605.hs:7:1)
    The function ‘f1’ is applied to one argument,
    its type is ‘m0 Bool’,
    it is specialized to ‘t0 -> Bool’
    In the expression: f1 undefined
    In an equation for ‘f2’: f2 = f1 undefined