Commit 48f32a84 authored by Gabor Greif's avatar Gabor Greif 💬
Browse files

Typos in docs [ci skip]

parent 7b486a63
......@@ -6727,7 +6727,7 @@ The general principle is this:
infers the most polymorphic kind consistent with the right-hand side.</emphasis>
Examples: ordinary data type and GADT declarations, class declarations.
In the case of a class declaration the role of "right hand side" is played
by the class moethod signatures.
by the class method signatures.
</para></listitem>
<listitem><para>
<emphasis>When there is no right hand side, GHC defaults argument and result kinds to <literal>*</literal>,
......@@ -6742,7 +6742,7 @@ class C a where -- Class declarations are generalised
-- so C :: forall k. k -> Constraint
data D1 a -- No right hand side for these two family
type F1 a -- declarations, but the class forces (a :: k)
-- so D1, F1 :: D1 :: forall k. k -> *
-- so D1, F1 :: forall k. k -> *
data D2 a -- No right-hand side so D2 :: * -> *
type F2 a -- No right-hand side so F2 :: * -> *
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment