diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/sail.ott | 3 |
1 files changed, 2 insertions, 1 deletions
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 }} |