Commit 90bbfd9f authored by Ian Lynagh's avatar Ian Lynagh

Fix comment/code inconsistency spotted by Bulat Ziganshin

I'm not sure if this is the example that was intended, but it's at least
now consistent.
parent 518a3663
......@@ -3360,7 +3360,7 @@ signature</emphasis>.
For example:
<programlisting>
-- f and g assume that 'a' is already in scope
f = \(x::Int, y) -> x
f = \(x::Int, y::a) -> x
g (x::a) = x
h ((x,y) :: (Int,Bool)) = (y,x)
</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