summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T9605.stderr
blob: 359ebc74fda4b48d298f989bd14fefce0997f0ad (plain)
1
2
3
4
5
6
7
8
9

T9605.hs:7:6: error: [GHC-83865]
    • Couldn't match type ‘Bool’ with ‘m Bool’
      Expected: t0 -> m Bool
        Actual: t0 -> Bool
    • In the result of a function call
      In the expression: f1 undefined
      In an equation for ‘f2’: f2 = f1 undefined
    • Relevant bindings include f2 :: m Bool (bound at T9605.hs:7:1)