From f726c992ab2506ae3fb8a52993b2c46a1ae0a3b1 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 21 Sep 2017 15:54:57 +0100
Subject: Cleaning up the AST and removing redundant and/or unused nodes

---
 src/rewriter.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/rewriter.mli')

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
-- 
cgit v1.2.3


From 3d853e394b5bb5aa0862b56cfbb068aef8d2458a Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 21 Sep 2017 16:12:12 +0100
Subject: Simplify AST by removing LB_val_explicit and replace LB_val_implicit
 with just LB_val in AST

also rename functions in rewriter.ml appropriately.
---
 src/rewriter.mli | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/rewriter.mli')

diff --git a/src/rewriter.mli b/src/rewriter.mli
index 645ecbf4..32974bd0 100644
--- a/src/rewriter.mli
+++ b/src/rewriter.mli
@@ -142,8 +142,7 @@ type ('a,'exp,'exp_aux,'lexp,'lexp_aux,'fexp,'fexp_aux,'fexps,'fexps_aux,
  ; pat_exp                  : 'pat * 'exp -> 'pexp_aux
  ; pat_when                 : 'pat * 'exp * 'exp -> 'pexp_aux
  ; pat_aux                  : 'pexp_aux * 'a annot -> 'pexp
- ; lB_val_explicit          : typschm * 'pat * 'exp -> 'letbind_aux
- ; lB_val_implicit          : 'pat * 'exp -> 'letbind_aux
+ ; lB_val          : 'pat * 'exp -> 'letbind_aux
  ; lB_aux                   : 'letbind_aux * 'a annot -> 'letbind
  ; pat_alg                  : ('a,'pat,'pat_aux,'fpat,'fpat_aux) pat_alg
  }
-- 
cgit v1.2.3


From ce905a7bd4b6a25f784f94fd926f818e8827d295 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 3 Oct 2017 16:16:46 +0100
Subject: Fixes to new parser

---
 src/rewriter.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/rewriter.mli')

diff --git a/src/rewriter.mli b/src/rewriter.mli
index 32974bd0..2bf00b06 100644
--- a/src/rewriter.mli
+++ b/src/rewriter.mli
@@ -66,7 +66,7 @@ type ('a,'pat,'pat_aux,'fpat,'fpat_aux) pat_alg =
   ; p_as             : 'pat * id -> 'pat_aux
   ; p_typ            : Ast.typ * 'pat -> 'pat_aux
   ; p_id             : id -> 'pat_aux
-  ; p_var            : kid -> 'pat_aux
+  ; p_var            : 'pat * kid -> 'pat_aux
   ; p_app            : id * 'pat list -> 'pat_aux
   ; p_record         : 'fpat list * bool -> 'pat_aux
   ; p_vector         : 'pat list -> 'pat_aux
-- 
cgit v1.2.3