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/rewriter.mli | |
| parent | 15309c879d2c877953512c401e66a7a48af6df97 (diff) | |
Cleaning up the AST and removing redundant and/or unused nodes
Diffstat (limited to 'src/rewriter.mli')
| -rw-r--r-- | src/rewriter.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/rewriter.mli b/src/rewriter.mli index 010f1003..645ecbf4 100644 --- a/src/rewriter.mli +++ b/src/rewriter.mli @@ -70,7 +70,6 @@ type ('a,'pat,'pat_aux,'fpat,'fpat_aux) pat_alg = ; p_app : id * 'pat list -> 'pat_aux ; p_record : 'fpat list * bool -> 'pat_aux ; p_vector : 'pat list -> 'pat_aux - ; p_vector_indexed : (int * 'pat) list -> 'pat_aux ; p_vector_concat : 'pat list -> 'pat_aux ; p_tup : 'pat list -> 'pat_aux ; p_list : 'pat list -> 'pat_aux @@ -98,7 +97,6 @@ type ('a,'exp,'exp_aux,'lexp,'lexp_aux,'fexp,'fexp_aux,'fexps,'fexps_aux, ; e_if : 'exp * 'exp * 'exp -> 'exp_aux ; e_for : id * 'exp * 'exp * 'exp * Ast.order * 'exp -> 'exp_aux ; e_vector : 'exp list -> 'exp_aux - ; e_vector_indexed : (int * 'exp) list * 'opt_default -> 'exp_aux ; e_vector_access : 'exp * 'exp -> 'exp_aux ; e_vector_subrange : 'exp * 'exp * 'exp -> 'exp_aux ; e_vector_update : 'exp * 'exp * 'exp -> 'exp_aux |