diff options
| author | Alasdair Armstrong | 2019-08-02 16:48:36 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-08-02 16:48:36 +0100 |
| commit | 8b1c4ce0c3659020e0f2a2e04d70798931dc9b63 (patch) | |
| tree | 635bf2f722f7cf5ecf6dd11b560ca1d96a32623b /src/parse_ast.ml | |
| parent | 94e2f401263c7efc69f7d2b731827dc41bd8c1b8 (diff) | |
Fix all warnings (except for two lem warnings)
Remove P_record as it's never been implemented in
parser/typechecker/rewriter, and is not likely to be. This also means
we can get rid of some ugliness with the fpat and mfpat types. Stubs
for P_or and P_not are left as they still may get added to ASL and we
might want to support them, although there are good reasons to keep
our patterns simple.
The lem warning for while -> while0 for ocaml doesn't matter because
it's only used in lem, and the 32-bit number warning is just noise.
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index 1d2c3534..3147b7f4 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -218,7 +218,6 @@ pat_aux = (* Pattern *) | P_id of id (* identifier *) | P_var of pat * atyp (* bind pat to type variable *) | P_app of id * (pat) list (* union constructor pattern *) - | P_record of (fpat) list * bool (* struct pattern *) | P_vector of (pat) list (* vector pattern *) | P_vector_concat of (pat) list (* concatenated vector pattern *) | P_tup of (pat) list (* tuple pattern *) @@ -392,7 +391,6 @@ 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 ( mfpat) list * bool | MP_vector of ( mpat) list | MP_vector_concat of ( mpat) list | MP_tup of ( mpat) list @@ -405,12 +403,6 @@ 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) |