From 734ebccb84c665f808b80b72aecef7fc75466204 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Thu, 14 Apr 2011 20:45:55 +0100 Subject: [PATCH] Fix typo in docs; spotted by Rustom Mody in beginners@ --- 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 a5fba51..9ea3332 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -5884,7 +5884,7 @@ type variables, in the annotated expression. For example: f = runST ( (op >>= \(x :: STRef s Int) -> g x) :: forall s. ST s Bool ) -Here, the type signature forall a. ST s Bool brings the +Here, the type signature forall s. ST s Bool brings the type variable s into scope, in the annotated expression (op >>= \(x :: STRef s Int) -> g x). -- 1.7.10.4