Patterns: add or and not patterns

These match the new ASL pattern constructors:

- !p matches if the pattern p does not match
- { p1, ... pn } matches if any of the patterns p1 ... pn match

We desugar the set pattern "{p1, ... pn}" into "p1 | (p2 | ... pn)".

ASL does not have pattern binding but Sail does.  The rules at the
moment are that none of the pattern can contain patterns.  This could
be relaxed by allowing "p1 | p2" to bind variables provided p1 and p2
both bind the same variables.

0 files changed, 0 insertions, 0 deletions