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 /src/parser.mly | |
| parent | 6b70f78c3c9477d4c5f417ed0a5d96abc19c9fb0 (diff) | |
add 'pat as id' mapping-patterns
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser.mly b/src/parser.mly index 375eb7d1..60ccc81f 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -1229,6 +1229,8 @@ mpat_string_append: mpat: | atomic_mpat { $1 } + | atomic_mpat As id + { mk_mpat (MP_as ($1, $3)) $startpos $endpos } | atomic_mpat At mpat_concat { mk_mpat (MP_vector_concat ($1 :: $3)) $startpos $endpos } | atomic_mpat ColonColon mpat |