From 87c441135e53edbd6e322677e48e57ba1aec6bd8 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Fri, 25 Mar 2011 13:36:19 +0000 Subject: [PATCH] Fix typo in documentation (Trac #5035) --- docs/users_guide/glasgow_exts.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index a575bc9..a5fba51 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -5848,7 +5848,7 @@ signature is explicit. For example: g (x:xs) = xs ++ [ x :: a ] This program will be rejected, because "a" does not scope -over the definition of "f", so "x::a" +over the definition of "g", so "x::a" means "x::forall a. a" by Haskell's usual implicit quantification rules. -- 1.7.10.4