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.

1 files changed, 2 insertions, 0 deletions

diff --git a/src/parser.mly b/src/parser.mly
index 0637d61a..2a05c013 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -710,6 +710,8 @@ atomic_pat:
     { mk_pat (P_lit $1) $startpos $endpos }
   | id
     { mk_pat (P_id $1) $startpos $endpos }
+  | pat Bar pat
+    { mk_pat (P_or ($1, $3)) $startpos $endpos }
   | kid
     { mk_pat (P_var (mk_pat (P_id (id_of_kid $1)) $startpos $endpos,
 		     mk_typ (ATyp_var $1) $startpos $endpos)) $startpos $endpos }