summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/TcMultiWayIfFail.stderr
blob: 69229f8e256de0d6068ad3539f2b025a079ef5a9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

TcMultiWayIfFail.hs:6:24: error: [GHC-83865]
    • Couldn't match type ‘[Char]’ with ‘Int’
      Expected: Int
        Actual: String
    • 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: error: [GHC-83865]
    • 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]