Take account of injectivity when doing fundeps

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

diff --git a/testsuite/tests/typecheck/should_fail/tcfail185.hs b/testsuite/tests/typecheck/should_fail/tcfail185.hs
index 59af50f..d602636 100644 (file)
--- a/testsuite/tests/typecheck/should_fail/tcfail185.hs
+++ b/testsuite/tests/typecheck/should_fail/tcfail185.hs
@@ -4,7 +4,7 @@ module ShouldFail where
 
 f :: Int -> Int -> Bool -> Bool -> Int -> Int
 f a b = \ x y -> let { y1 = y; y2 = y1; y3 = y2; y4 = y3; y5 = y4;
-                      y6 = y5; y7 = y6 } in x
+                       y6 = y5; y7 = y6 } in x