Commit 03437ad3 authored by Simon Marlow's avatar Simon Marlow
Browse files

"third bullet" -> "fourth bullet"

parent 86ab0385
......@@ -1030,7 +1030,7 @@ construction. Strict fields are discussed in Section~\ref{strictness-flags}.
\end{itemize}
The expression @F {}@, where @F@ is a data constructor, is legal
{\em whether or not @F@ was declared with record syntax} (provided @F@ has no strict
fields --- see the third bullet above);
fields --- see the fourth bullet above);
it denotes "@F@ \bot_1 ... \bot_n", where "n" is the arity of @F@.
\outline{
......
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