diff options
| author | Jon French | 2018-05-01 16:54:05 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-01 16:59:26 +0100 |
| commit | 92bdfb613b35a913aee7e954b7f7a2d62b39d302 (patch) | |
| tree | 960d87755bd517005d40c5033085758aef6f1414 /language | |
| parent | 1dc9f51dc547fc2a5f72095a49f49c540b96a71b (diff) | |
add type annotation patterns to mpats
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 }} |