Typos
authorKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Wed, 9 Oct 2013 18:02:57 +0000 (20:02 +0200)
committerKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Wed, 9 Oct 2013 18:02:57 +0000 (20:02 +0200)
compiler/typecheck/TcType.lhs
compiler/types/FunDeps.lhs

index 8e5bac4..751b2ee 100644 (file)
@@ -421,7 +421,7 @@ equality.   Example (with same T)
 We decide (x::alpha), and generate an implication like
       [1]forall a. (Bool ~ alpha[0])
 We do NOT unify directly, bur rather float out (if the constraint
-does not memtion 'a') to get
+does not mention 'a') to get
       (Bool ~ alpha[0]) /\ [1]forall a.()
 and NOW we can unify alpha.
 
index 77010de..bd0f7d7 100644 (file)
@@ -487,7 +487,7 @@ checkInstCoverage be_liberal clas theta inst_taus
                             (if isSingleton ls
                              then ptext (sLit "does not")
                              else ptext (sLit "do not jointly"))
-                            <+> ptext (sLit "deternine rhs type")<>plural rs
+                            <+> ptext (sLit "determine rhs type")<>plural rs
                             <+> pprQuotedList rs ]
                     , ppWhen (not be_liberal && liberal_ok) $
                       ptext (sLit "Using UndecidableInstances might help") ]