diff options
| author | Alasdair Armstrong | 2017-09-21 15:54:57 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-09-21 15:54:57 +0100 |
| commit | f726c992ab2506ae3fb8a52993b2c46a1ae0a3b1 (patch) | |
| tree | a257caf2884b9857fc9e4beb28171077c7c7758b /src/parse_ast.ml | |
| parent | 15309c879d2c877953512c401e66a7a48af6df97 (diff) | |
Cleaning up the AST and removing redundant and/or unused nodes
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index b259611d..1036fab8 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -238,7 +238,6 @@ pat_aux = (* Pattern *) | 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_indexed of ((int * pat)) list (* vector pattern (with explicit indices) *) | P_vector_concat of (pat) list (* concatenated vector pattern *) | P_tup of (pat) list (* tuple pattern *) | P_list of (pat) list (* list pattern *) @@ -267,7 +266,6 @@ exp_aux = (* Expression *) | E_if of exp * exp * exp (* conditional *) | E_for of id * exp * exp * exp * atyp * exp (* loop *) | E_vector of (exp) list (* vector (indexed from 0) *) - | E_vector_indexed of (exp) list * opt_default (* vector (indexed consecutively) *) | E_vector_access of exp * exp (* vector access *) | E_vector_subrange of exp * exp * exp (* subvector extraction *) | E_vector_update of exp * exp * exp (* vector functional update *) |