Commit f6c96c51 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-09-15 15:28:35 by afrisch] doc

Original author: afrisch
Date: 2005-09-15 15:28:35+00:00
parent 5fd333df
......@@ -685,7 +685,8 @@ bindings. It is required that <code>p1</code> and <code>p2</code> have
In record x-patterns, it is possible to omit the <code>=p</code> part
of a field. The content is then replaced with the label name
considered as a capture variable. E.g. <code>{ x y=p }</code> is
considered as a capture variable (or as a previously defined type).
E.g. <code>{ x y=p }</code> is
equivalent to <code>{ x=x y=p }</code>.</p>
<p>It is also possible to add an "else" clause:
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