diff options
| author | Gabor Greif <ggreif@gmail.com> | 2014-05-19 19:42:07 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2014-05-19 19:54:33 +0200 |
| commit | a8cba196e9d651571c4902706b73ab0c591dc335 (patch) | |
| tree | 564460c0c82b60f9bb59be16c4b74849e08af51c /docs | |
| parent | 135489ddc77c6e1b686c0ebf00dee95b218681ed (diff) | |
| download | haskell-a8cba196e9d651571c4902706b73ab0c591dc335.tar.gz | |
Catch some typos
Diffstat (limited to 'docs')
| -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 e2513c20f0..7872a88134 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -8145,11 +8145,11 @@ g x = let h y = f y * 2 in h x + k x </programlisting> Here <literal>f</literal> is generalised because it has no free variables; and its binding group -in unaffected by the monomorphism restriction; and hence <literal>f</literal> is closed. +is unaffected by the monomorphism restriction; and hence <literal>f</literal> is closed. The same reasoning applies to <literal>g</literal>, except that it has one closed free variable, namely <literal>f</literal>. Similarly <literal>h</literal> is closed, <emphasis>even though it is not bound at top level</emphasis>, because its only free variable <literal>f</literal> is closed. -But <literal>k</literal> is not closed because it mentions <literal>x</literal> which is not closed (because it is no let-bound). +But <literal>k</literal> is not closed, because it mentions <literal>x</literal> which is not closed (because it is not let-bound). </para> <para> Notice that a top-level binding that is affected by the monomorphism restriction is not closed, and hence may |