Commit 6d5ff8c3 authored by simonpj's avatar simonpj
Browse files

[project @ 2001-11-02 10:19:24 by simonpj]

parent c5d261df
......@@ -2187,6 +2187,8 @@ Here, the type variable <literal>a</literal> scopes over the right hand side of
just like <literal>x</literal> does; while the type variable <literal>b</literal> scopes over the
body of the <literal>let</literal>, and all the other definitions in the <literal>let</literal>,
just like <literal>p</literal> and <literal>q</literal> do.
Indeed, the newly bound type variables also scope over any ordinary, separate
type signatures in the <literal>let</literal> group.
Markdown is supported
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