diff options
| author | Krzysztof Gogolewski <krz.gogolewski@gmail.com> | 2014-09-19 19:27:34 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krz.gogolewski@gmail.com> | 2014-09-19 19:27:34 +0200 |
| commit | 5e300d58f69ec79c647f8a97b0e8fa0f588d2662 (patch) | |
| tree | 903ee41389b2f3d5d48875e9de62cbe8a8ad9a7f | |
| parent | d48fed4e61afc2b51ac3a513290a66d89c929059 (diff) | |
| download | haskell-5e300d58f69ec79c647f8a97b0e8fa0f588d2662.tar.gz | |
Typos
| -rw-r--r-- | compiler/stranal/WwLib.lhs | 2 | ||||
| -rw-r--r-- | 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 82c310710f..11f97eab07 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 af05e80a08..17a84e2d68 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 |