Typos
authorKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Fri, 19 Sep 2014 17:27:34 +0000 (19:27 +0200)
committerKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Fri, 19 Sep 2014 17:27:34 +0000 (19:27 +0200)
compiler/stranal/WwLib.lhs
compiler/typecheck/TcDeriv.lhs

index 82c3107..11f97ea 100644 (file)
@@ -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.
index af05e80..17a84e2 100644 (file)
@@ -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