diff options
| author | Jon French | 2018-08-31 13:58:24 +0100 |
|---|---|---|
| committer | Jon French | 2018-08-31 16:31:37 +0100 |
| commit | dfeca84a20aa59b757e680a8099c7a3a8377aa76 (patch) | |
| tree | 12328abffd9e61c93983f6e68e3a848b58e6fe2d /src/parse_ast.ml | |
| parent | 8d1fae7968bd70fd1663f9a9df662b39dab7246a (diff) | |
mappings: Support for unidirectional mapping clauses
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index d9ffb184..a4052d82 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -458,7 +458,9 @@ type mpexp = | MPat_aux of ( mpexp_aux) * l type mapcl_aux = (* mapping clause (bidirectional pattern-match) *) - | MCL_mapcl of ( mpexp) * ( mpexp) + | MCL_bidir of ( mpexp) * ( mpexp) + | MCL_forwards of mpexp * exp + | MCL_backwards of mpexp * exp type mapcl = | MCL_aux of ( mapcl_aux) * l |