testsuite/tests/typecheck/should_fail/tcfail185.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17


tcfail185.hs:7:46: error: [GHC-83865]
    • Couldn't match expected type ‘Int -> Int’ with actual type ‘Bool’
    • In the expression: x
      In the expression:
        let
          y1 = y
          y2 = y1
          y3 = y2
          ....
        in x
      In the expression:
        \ x y
          -> let
               y1 = ...
               ....
             in x