Bump AST to 4.14/5.00

This commit also adds a hard-coded layer to `Ast_builder` which,
as opposed to the generated functions, will stay stable. It also
keeps `Ast_helper` stable; `Ast_helper` should get deprecated soon
anyways.

Apart from that, this commit also contains all the changes that have been made
to `Pprintast` in the compiler since the last bump since the
ppxlib `Pprintast` should be up-to-date with the compiler
`Pprintast` anyways and some of those changes were necessary
to adapt to the new AST version.

Side-note: notice that the 4.14 and 5.00 AST coincide.

Signed-off-by: Sonja Heinze <sonjaleaheinze@gmail.com>

CHANGES.md

@@ -1,6 +1,8 @@
 Unreleased
 -----------
 
+- Bump ppxlib's AST to 4.14/5.00 (#320, @pitag-ha)
+
 0.25.0 (03/03/2022)
 -------------------
 

ast/ast_helper_lite.ml

@@ -17,7 +17,7 @@
 open Stdlib0
 module Location = Astlib.Location
 module Longident = Astlib.Longident
-open Astlib.Ast_412
+open Astlib.Ast_414
 
 [@@@warning "-9"]
 
@@ -171,7 +171,10 @@ module Pat = struct
   let constant ?loc ?attrs a = mk ?loc ?attrs (Ppat_constant a)
   let interval ?loc ?attrs a b = mk ?loc ?attrs (Ppat_interval (a, b))
   let tuple ?loc ?attrs a = mk ?loc ?attrs (Ppat_tuple a)
-  let construct ?loc ?attrs a b = mk ?loc ?attrs (Ppat_construct (a, b))
+
+  let construct ?loc ?attrs a b =
+    mk ?loc ?attrs (Ppat_construct (a, Option.map (fun b -> ([], b)) b))
+
   let variant ?loc ?attrs a b = mk ?loc ?attrs (Ppat_variant (a, b))
   let record ?loc ?attrs a b = mk ?loc ?attrs (Ppat_record (a, b))
   let array ?loc ?attrs a = mk ?loc ?attrs (Ppat_array a)
@@ -451,10 +454,11 @@ module Type = struct
       ptype_loc = loc;
     }
 
-  let constructor ?(loc = !default_loc) ?(attrs = []) ?(args = Pcstr_tuple [])
-      ?res name =
+  let constructor ?(loc = !default_loc) ?(attrs = []) ?(vars = [])
+      ?(args = Pcstr_tuple []) ?res name =
     {
       pcd_name = name;
+      pcd_vars = vars;
       pcd_args = args;
       pcd_res = res;
       pcd_loc = loc;
@@ -499,11 +503,11 @@ module Te = struct
       pext_attributes = attrs;
     }
 
-  let decl ?(loc = !default_loc) ?(attrs = []) ?(args = Pcstr_tuple []) ?res
-      name =
+  let decl ?(loc = !default_loc) ?(attrs = []) ?(vars = [])
+      ?(args = Pcstr_tuple []) ?res name =
     {
       pext_name = name;
-      pext_kind = Pext_decl (args, res);
+      pext_kind = Pext_decl (vars, args, res);
       pext_loc = loc;
       pext_attributes = attrs;
     }

ast/ast_helper_lite.mli

@@ -13,9 +13,9 @@
 (*                                                                        *)
 (**************************************************************************)
 
-(** Copy of Ast_helper from OCaml 4.12 with docstring related stuff removed *)
+(** Copy of Ast_helper from OCaml 4.14 with docstring related stuff removed *)
 
-open Astlib.Ast_412
+open Astlib.Ast_414
 open Asttypes
 open Parsetree
 
@@ -295,6 +295,7 @@ module Type : sig
   val constructor :
     ?loc:loc ->
     ?attrs:attrs ->
+    ?vars:str list ->
     ?args:constructor_arguments ->
     ?res:core_type ->
     str ->
@@ -333,6 +334,7 @@ module Te : sig
   val decl :
     ?loc:loc ->
     ?attrs:attrs ->
+    ?vars:str list ->
     ?args:constructor_arguments ->
     ?res:core_type ->
     str ->

ast/import.ml

@@ -4,7 +4,7 @@
    It must be opened in all modules, especially the ones coming from the compiler.
 *)
 
-module Js = Versions.OCaml_412
+module Js = Versions.OCaml_414
 module Ocaml = Versions.OCaml_current
 
 module Select_ast (Ocaml : Versions.OCaml_version) = struct