From: bringert@cs.chalmers.se Date: Thu, 7 Sep 2006 21:46:26 +0000 (+0000) Subject: Fixed typo in users guide section about lexically scoped type variables. X-Git-Tag: Before_FC_branch_merge~43 X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=8c86756116f7142f0b6f6d1e9f5e1d55fa1cb0d1 Fixed typo in users guide section about lexically scoped type variables. --- diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 1106790..d60e8e9 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -3236,7 +3236,7 @@ f xs = ys ++ ys The type signature for f brings the type variable a into scope; it scopes over the entire definition of f. -In particular, it is in scope at the type signature for y. +In particular, it is in scope at the type signature for ys. In Haskell 98 it is not possible to declare a type for ys; a major benefit of scoped type variables is that it becomes possible to do so.