diff options
| author | Gabor Greif <ggreif@gmail.com> | 2015-03-06 14:12:25 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2015-03-06 14:12:25 +0100 |
| commit | 48f32a84f1a8ae08feac80441667a5b38860f0f7 (patch) | |
| tree | 82ed0d5f90ddb9151b5399008adc5271e48442b6 | |
| parent | 7b486a6344e891ec04ffcfbdd0e4347aed02f923 (diff) | |
| download | haskell-48f32a84f1a8ae08feac80441667a5b38860f0f7.tar.gz | |
Typos in docs [ci skip]
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 118b6298bb..d98445eb5d 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -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 :: * -> * |