Commit 734ebccb authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Fix typo in docs; spotted by Rustom Mody in beginners@

parent a91df48b
......@@ -5884,7 +5884,7 @@ type variables, in the annotated expression. For example:
f = runST ( (op >>= \(x :: STRef s Int) -> g x) :: forall s. ST s Bool )
Here, the type signature <literal>forall a. ST s Bool</literal> brings the
Here, the type signature <literal>forall s. ST s Bool</literal> brings the
type variable <literal>s</literal> into scope, in the annotated expression
<literal>(op >>= \(x :: STRef s Int) -> g x)</literal>.
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