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/parse_ast.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/parse_ast.ml')

diff --git a/src/parse_ast.ml b/src/parse_ast.ml
index 1036fab8..cd5edce6 100644
--- a/src/parse_ast.ml
+++ b/src/parse_ast.ml
@@ -318,8 +318,7 @@ and pexp =
    Pat_aux of pexp_aux * l
 
 and letbind_aux =  (* Let binding *)
-   LB_val_explicit of typschm * pat * exp (* value binding, explicit type (pat must be total) *)
- | LB_val_implicit of pat * exp (* value binding, implicit type (pat must be total) *)
+   LB_val of pat * exp (* value binding, implicit type (pat must be total) *)
 
 and letbind = 
    LB_aux of letbind_aux * l
-- 
cgit v1.2.3