diff options
| author | Jon French | 2018-06-11 17:49:32 +0100 |
|---|---|---|
| committer | Jon French | 2018-06-11 17:49:32 +0100 |
| commit | 2b159b297ab6e1f7118b0c094427aa708e1375b8 (patch) | |
| tree | a69f7078072ada08389d85666eaa9382b3d57230 /language | |
| parent | 6b70f78c3c9477d4c5f417ed0a5d96abc19c9fb0 (diff) | |
add 'pat as id' mapping-patterns
Diffstat (limited to 'language')
| -rw-r--r-- | language/sail.ott | 1 |
1 files changed, 1 insertions, 0 deletions
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 }} |