Fix incorrect ambiguity error on identically-named data constructors
[ghc.git] / testsuite / tests / typecheck / should_fail / TcMultiWayIfFail.stderr
1
2 TcMultiWayIfFail.hs:6:24:
3     Couldn't match expected type ‘Int’ with actual type ‘[Char]’
4     In the expression: "2"
5     In the expression:
6       if | True -> 1 :: Int | False -> "2" | otherwise -> [3 :: Int]
7     In an equation for ‘x1’:
8         x1 = if | True -> 1 :: Int | False -> "2" | otherwise -> [3 :: Int]
9
10 TcMultiWayIfFail.hs:7:24:
11     Couldn't match expected type ‘Int’ with actual type ‘[Int]’
12     In the expression: [3 :: Int]
13     In the expression:
14       if | True -> 1 :: Int | False -> "2" | otherwise -> [3 :: Int]
15     In an equation for ‘x1’:
16         x1 = if | True -> 1 :: Int | False -> "2" | otherwise -> [3 :: Int]