summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/TcMultiWayIfFail.stderr
blob: fe53beac4788f18818512ce70730e203f3aeb842 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

TcMultiWayIfFail.hs:6:24:
    Couldn't match expected type `Int' with actual type `[Char]'
    In the expression: "2"
    In the expression:
      if | True -> 1 :: Int | False -> "2" | otherwise -> [3 :: Int]
    In an equation for `x1':
        x1 = if | True -> 1 :: Int | False -> "2" | otherwise -> [3 :: Int]

TcMultiWayIfFail.hs:7:24:
    Couldn't match expected type `Int' with actual type `[Int]'
    In the expression: [3 :: Int]
    In the expression:
      if | True -> 1 :: Int | False -> "2" | otherwise -> [3 :: Int]
    In an equation for `x1':
        x1 = if | True -> 1 :: Int | False -> "2" | otherwise -> [3 :: Int]