[commit: ghc] master: Typos (5e300d5)

git at git.haskell.org git at git.haskell.org
Fri Sep 19 17:27:54 UTC 2014


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/5e300d58f69ec79c647f8a97b0e8fa0f588d2662/ghc

>---------------------------------------------------------------

commit 5e300d58f69ec79c647f8a97b0e8fa0f588d2662
Author: Krzysztof Gogolewski <krz.gogolewski at gmail.com>
Date:   Fri Sep 19 19:27:34 2014 +0200

    Typos


>---------------------------------------------------------------

5e300d58f69ec79c647f8a97b0e8fa0f588d2662
 compiler/stranal/WwLib.lhs     | 2 +-
 compiler/typecheck/TcDeriv.lhs | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/compiler/stranal/WwLib.lhs b/compiler/stranal/WwLib.lhs
index 82c3107..11f97ea 100644
--- a/compiler/stranal/WwLib.lhs
+++ b/compiler/stranal/WwLib.lhs
@@ -679,7 +679,7 @@ There are a few cases where the W/W transformation is told that something
 returns a constructor, but the type at hand doesn't really match this. One
 real-world example involves unsafeCoerce:
   foo = IO a
-  foo = unsafeCoere c_exit
+  foo = unsafeCoerce c_exit
   foreign import ccall "c_exit" c_exit :: IO ()
 Here CPR will tell you that `foo` returns a () constructor for sure, but trying
 to create a worker/wrapper for type `a` obviously fails.
diff --git a/compiler/typecheck/TcDeriv.lhs b/compiler/typecheck/TcDeriv.lhs
index af05e80..17a84e2 100644
--- a/compiler/typecheck/TcDeriv.lhs
+++ b/compiler/typecheck/TcDeriv.lhs
@@ -827,8 +827,8 @@ C's kind args.  Consider (Trac #8865):
 where
   Category :: forall k. (k -> k -> *) -> Constraint
 We need to generate the instance
-  insatnce Category * (Either a) where ...
-Notice the '*' argument to Cagegory.
+  instance Category * (Either a) where ...
+Notice the '*' argument to Category.
 
 So we need to
  * drop arguments from (T a b) to match the number of



More information about the ghc-commits mailing list