Typos in non-code
authorGabor Greif <ggreif@gmail.com>
Mon, 2 Mar 2015 18:28:36 +0000 (19:28 +0100)
committerGabor Greif <ggreif@gmail.com>
Mon, 2 Mar 2015 18:28:36 +0000 (19:28 +0100)
compiler/typecheck/TcInstDcls.hs
docs/users_guide/glasgow_exts.xml

index 9b07554..5ee6479 100644 (file)
@@ -973,7 +973,7 @@ Notice that
 
    This is a bit of a hack, but works very nicely in practice.
 
- * Note that if a method has a locally-polymorhic binding, there will
+ * Note that if a method has a locally-polymorphic binding, there will
    be yet another implication for that, generated by tcPolyCheck
    in tcMethodBody. E.g.
           class C a where
index 7bb2f68..edfdc84 100644 (file)
@@ -6679,8 +6679,8 @@ level of the signature for <literal>f1</literal>.
 But in the case of of <literal>f2</literal> we give a kind annotation in the <literal>forall (a:k)</literal>
 binding, and GHC therefore puts the kind <literal>forall</literal> right there too.
 This design decision makes default case (<literal>f1</literal>)
-as polymorphic as possible; remember that a <emphasis>more</emphasis> polymorhic argument type (as in <literal>f2</literal>
-makes the overall function <emphasis>less</emphasis> polymorphic, because there are fewer accepable arguments.
+as polymorphic as possible; remember that a <emphasis>more</emphasis> polymorphic argument type (as in <literal>f2</literal>
+makes the overall function <emphasis>less</emphasis> polymorphic, because there are fewer acceptable arguments.
 </para></listitem>
 </itemizedlist>
 </para>