diff options
| author | Jon French | 2018-04-27 13:19:24 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-01 16:58:26 +0100 |
| commit | b94549367c2536b3df6fba8586efa1a2a4bca7b8 (patch) | |
| tree | 73631c21df91613d96d1596e6d1add7d417abfe0 /src/parse_ast.ml | |
| parent | bf3a38a69fb895db274769b4d543976b07095d2f (diff) | |
further progress
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index d845265f..3969663a 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -424,7 +424,7 @@ type mpat_aux = (* Mapping pattern. Mostly the same as normal patterns but only | MP_lit of lit | MP_id of id | MP_app of id * ( mpat) list - | MP_record of ( fpat) list * bool + | MP_record of ( mfpat) list * bool | MP_vector of ( mpat) list | MP_vector_concat of ( mpat) list | MP_tup of ( mpat) list @@ -435,6 +435,12 @@ type mpat_aux = (* Mapping pattern. Mostly the same as normal patterns but only and mpat = | MP_aux of ( mpat_aux) * l +and mfpat_aux = (* Mapping field pattern, why does this have to exist *) + | MFP_mpat of id * mpat + +and mfpat = + | MFP_aux of mfpat_aux * l + type mpexp_aux = | MPat_pat of ( mpat) | MPat_when of ( mpat) * ( exp) |