diff options
| author | Ian Lynagh <igloo@earth.li> | 2011-04-14 20:45:55 +0100 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2011-04-14 20:45:55 +0100 |
| commit | 734ebccb84c665f808b80b72aecef7fc75466204 (patch) | |
| tree | 4a3d445d9a7df4bdd868fe634d75ce261fae0fda | |
| parent | a91df48bcf1a06dde529812c44bbceaee7c1fb10 (diff) | |
| download | haskell-734ebccb84c665f808b80b72aecef7fc75466204.tar.gz | |
Fix typo in docs; spotted by Rustom Mody in beginners@
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index a5fba51788..9ea3332463 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: <programlisting> f = runST ( (op >>= \(x :: STRef s Int) -> g x) :: forall s. ST s Bool ) </programlisting> -Here, the type signature <literal>forall a. ST s Bool</literal> brings the +Here, the type signature <literal>forall s. ST s Bool</literal> brings the type variable <literal>s</literal> into scope, in the annotated expression <literal>(op >>= \(x :: STRef s Int) -> g x)</literal>. </para> |