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.

1 files changed, 2 insertions, 5 deletions

diff --git a/src/initial_check.ml b/src/initial_check.ml
index 7b618867..89da69e0 100644
--- a/src/initial_check.ml
+++ b/src/initial_check.ml
@@ -439,11 +439,8 @@ let rec to_ast_pat (k_env : kind Envmap.t) (def_ord : order) (Parse_ast.P_aux(pa
 let rec to_ast_letbind (k_env : kind Envmap.t) (def_ord : order) (Parse_ast.LB_aux(lb,l) : Parse_ast.letbind) : unit letbind =
   LB_aux(
     (match lb with
-    | Parse_ast.LB_val_explicit(typschm,pat,exp) ->
-      let typsch, k_env, _  = to_ast_typschm k_env def_ord typschm in
-      LB_val_explicit(typsch,to_ast_pat k_env def_ord pat, to_ast_exp k_env def_ord exp)
-    | Parse_ast.LB_val_implicit(pat,exp) ->
-      LB_val_implicit(to_ast_pat k_env def_ord pat, to_ast_exp k_env def_ord exp)
+    | Parse_ast.LB_val(pat,exp) ->
+      LB_val(to_ast_pat k_env def_ord pat, to_ast_exp k_env def_ord exp)
     ), (l,()))
 
 and to_ast_exp (k_env : kind Envmap.t) (def_ord : order) (Parse_ast.E_aux(exp,l) : Parse_ast.exp) : unit exp =