From: simonpj@microsoft.com Date: Mon, 20 Aug 2007 21:02:22 +0000 (+0000) Subject: Add a paragraph break X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=fdd372f92ee59d474f7073ba8d8b8d41956a952b Add a paragraph break --- diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index a1c25e4..44203bd 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 , GHC will instead pick (C), without complaining about the problem of subsequent instantiations.) - + + Notice that we gave a type signature to f, so GHC had to check that f has the specified type. Suppose instead we do not give a type signature, asking GHC to infer