X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=docs%2Fusers_guide%2Fglasgow_exts.xml;h=d60e8e939e2491ff1f491e8cfd1a0a7bf9ba414c;hb=8c86756116f7142f0b6f6d1e9f5e1d55fa1cb0d1;hp=110679070b048a548e4a52e7aa78e9e622c349fc;hpb=06b8942c4f279ca62fad6d1b5e955dd33ec3f985;p=ghc-hetmet.git
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.