Take account of injectivity when doing fundeps

[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail159.hs

diff --git a/testsuite/tests/typecheck/should_fail/tcfail159.hs b/testsuite/tests/typecheck/should_fail/tcfail159.hs
index c0c2eb1..1d4b540 100644 (file)
--- a/testsuite/tests/typecheck/should_fail/tcfail159.hs
+++ b/testsuite/tests/typecheck/should_fail/tcfail159.hs
@@ -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