Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / TcMultiWayIfFail.hs
1 {-# LANGUAGE MultiWayIf #-}
2
3 module TcMultiWayIfFail where
4
5 x1 = if | True -> 1 :: Int
6 | False -> "2"
7 | otherwise -> [3 :: Int]
8