diff options
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index a1c25e4333..44203bd467 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -2814,7 +2814,8 @@ So GHC rejects the program. (If you add the flag <option>-XIncoherentInstances</option>, GHC will instead pick (C), without complaining about the problem of subsequent instantiations.) - +</para> +<para> Notice that we gave a type signature to <literal>f</literal>, so GHC had to <emphasis>check</emphasis> that <literal>f</literal> has the specified type. Suppose instead we do not give a type signature, asking GHC to <emphasis>infer</emphasis> |