Commit 8c867561 authored by bringert@cs.chalmers.se's avatar bringert@cs.chalmers.se
Browse files

Fixed typo in users guide section about lexically scoped type variables.

parent 06b8942c
......@@ -3236,7 +3236,7 @@ f xs = ys ++ ys
</programlisting>
The type signature for <literal>f</literal> brings the type variable <literal>a</literal> into scope; it scopes over
the entire definition of <literal>f</literal>.
In particular, it is in scope at the type signature for <varname>y</varname>.
In particular, it is in scope at the type signature for <varname>ys</varname>.
In Haskell 98 it is not possible to declare
a type for <varname>ys</varname>; a major benefit of scoped type variables is that
it becomes possible to do so.
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment