Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail159.hs
index c0c2eb1..1d4b540 100644 (file)
@@ -5,5 +5,5 @@ module ShouldFail where
 h :: Int -> (# Int, Int #)
 h x = (# x,x #)
 
-foo x = case h x of 
-         ~(# p, q #) -> p
+foo x = case h x of
+          ~(# p, q #) -> p