diff options
| author | simonpj@microsoft.com <unknown> | 2007-08-20 21:02:22 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2007-08-20 21:02:22 +0000 |
| commit | fdd372f92ee59d474f7073ba8d8b8d41956a952b (patch) | |
| tree | 53dd7e6e5240ab2db16e47b0fdf6fb182778ce2c /docs/users_guide/glasgow_exts.xml | |
| parent | 0731082288212fbc6d68204b609f201b8a79149a (diff) | |
| download | haskell-fdd372f92ee59d474f7073ba8d8b8d41956a952b.tar.gz | |
Add a paragraph break
Diffstat (limited to 'docs/users_guide/glasgow_exts.xml')
| -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> |