From 92bdfb613b35a913aee7e954b7f7a2d62b39d302 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Tue, 1 May 2018 16:54:05 +0100
Subject: add type annotation patterns to mpats

---
 language/sail.ott | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'language')

diff --git a/language/sail.ott b/language/sail.ott
index a0946b4b..ba0bdc1f 100644
--- a/language/sail.ott
+++ b/language/sail.ott
@@ -995,12 +995,13 @@ mpat :: 'MP_' ::=
   | id ( mpat1 , ... , mpatn )         ::   :: app
   | { mfpat1 ; ... ; mfpatn semi_opt } ::   :: record
   | [ mpat1 , ... , mpatn ]            ::   :: vector
-  | mpat1 : ... : mpatn                ::   :: vector_concat
+  | mpat1 @ ... @ mpatn                ::   :: vector_concat
   | ( mpat1 , ... , mpatn )            ::   :: tup
   | [|| mpat1 , ... , mpatn ||]        ::   :: list
   | ( mpat )                           :: S :: paren {{ ichlo [[mpat]] }}
   | mpat1 '::' mpat2                   ::   :: cons
   | mpat1 ^^ mpat2                     ::   :: string_append
+  | mpat : typ                         ::   :: typ
 
 mpexp :: 'MPat_' ::=
   {{ aux _ annot }} {{ auxparam 'a }}
-- 
cgit v1.2.3