Alternate syntax
The syntax of some constructs has been slightly relaxed:
- An optional ; may terminate a sequence, list expression, or
record expression. For instance,
begin e1 ; e2 ; end is
syntactically correct and synonymous with begin e1 ; e2 end.
- Similarly, an optional | may begin a pattern-matching
expression. For instance,
function | pat1 -> expr1 |...
is syntactically correct and synonymous with
function pat1 -> expr1 |....
- The tokens && and || are recognized as synonymous for &
(sequential ``and'') and or (sequential ``or''), respectively.