case e equation<some equations> then ...
case e equation<some different equations> then ...
since e is the same in both case expressions, classical pattern matching
would return always the same (or fail with an error). So my guess is,
that the equations affect the matching process (like guards) is that
correct? Is there some documentation about that somewhere (I remember
something from adrian in Erlangen)?
Basically:
try {
<match e>
<some equations>
} catch {
try {
<match e>
<some other equations>
}
}
Thus, the equations affect the program flow. You can view it as the
equations being one big guard, but instead of returning a boolean it
returns the result or fails.
Note that we have both match (classical match) and matchcontinue.
--
Martin Sjölund
