From: Ian Lynagh Date: Thu, 14 Apr 2011 19:45:55 +0000 (+0100) Subject: Fix typo in docs; spotted by Rustom Mody in beginners@ X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=734ebccb84c665f808b80b72aecef7fc75466204;p=ghc-hetmet.git Fix typo in docs; spotted by Rustom Mody in beginners@ --- 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).