[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