Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail185.hs
index 59af50f..d602636 100644 (file)
@@ -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