From fdd372f92ee59d474f7073ba8d8b8d41956a952b Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Mon, 20 Aug 2007 21:02:22 +0000 Subject: [PATCH] Add a paragraph break --- docs/users_guide/glasgow_exts.xml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 1.7.10.4