From 2b159b297ab6e1f7118b0c094427aa708e1375b8 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Mon, 11 Jun 2018 17:49:32 +0100
Subject: add 'pat as id' mapping-patterns

---
 language/sail.ott | 1 +
 1 file changed, 1 insertion(+)

(limited to 'language')

diff --git a/language/sail.ott b/language/sail.ott
index 6094f74e..3332034f 100644
--- a/language/sail.ott
+++ b/language/sail.ott
@@ -1004,6 +1004,7 @@ mpat :: 'MP_' ::=
   | mpat1 '::' mpat2                   ::   :: cons
   | mpat1 ^^ ... ^^ mpatn              ::   :: string_append
   | mpat : typ                         ::   :: typ
+  | mpat as id                         ::   :: as
 
 mpexp :: 'MPat_' ::=
   {{ aux _ annot }} {{ auxparam 'a }}
-- 
cgit v1.2.3