Commit 7fc965c5 authored by simonpj's avatar simonpj
Browse files

[project @ 2002-06-18 13:58:53 by simonpj]

typo
parent 80e39963
......@@ -1419,7 +1419,7 @@ You can apply a type synonym to a forall type:
f :: Foo (forall b. b->b)
</programlisting>
After epxanding the synonym, <literal>f</literal> has the legal (in GHC) type:
After expanding the synonym, <literal>f</literal> has the legal (in GHC) type:
<programlisting>
f :: (forall b. b->b) -> (forall b. b->b) -> Bool
</programlisting>
......
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