Introduce GHC.TypeNats module, change KnownNat evidence to be Natural

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

diff --git a/testsuite/tests/typecheck/should_fail/tcfail181.hs b/testsuite/tests/typecheck/should_fail/tcfail181.hs
index 01d0659..ee24220 100644 (file)
--- a/testsuite/tests/typecheck/should_fail/tcfail181.hs
+++ b/testsuite/tests/typecheck/should_fail/tcfail181.hs
@@ -1,10 +1,10 @@
 -- GHC 6.7 at one point said wog's type was:
 --
 --    wog :: forall t e (m :: * -> *).
---          (Monad GHC.Prim.Any1, Monad m) =>
---          t -> Something (m Bool) e
+--           (Monad GHC.Prim.Any1, Monad m) =>
+--           t -> Something (m Bool) e
 --
--- The stupid 'GHC.Prim.Any1' arose becuase of type ambiguity
+-- The stupid 'GHC.Prim.Any1' arose because of type ambiguity
 -- which should be reported, and wasn't.
 
 module ShouldFail where