testsuite/tests/ghc-regress/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:
    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