From 8c86756116f7142f0b6f6d1e9f5e1d55fa1cb0d1 Mon Sep 17 00:00:00 2001 From: "bringert@cs.chalmers.se" Date: Thu, 7 Sep 2006 21:46:26 +0000 Subject: [PATCH] Fixed typo in users guide section about lexically scoped type variables. --- 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 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. -- 1.7.10.4