diff options
| -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 |