Backport 5.3 changes to Format_doc and Location (#2609)

* Backport 5.3 changes to Format_doc and Location

Backport compiler libs changes related to printing to the vendored
parsers.

* Backport changes to code highlighting in errors

* Disable Build_path_prefix_map feature

Instead of vendoring Build_path_prefix_map as well, the file name
rewriting is commented-out. This feature doesn't make sense in
ocamlformat.

* Fix build on 4.08

Stdlib shims are needed by the parser shims

Author: Julow

CHANGES.md

@@ -13,6 +13,8 @@ profile. This started with version 0.26.0.
   This might change the formatting of some functions due to the formatting code
   being completely rewritten.
 
+- Support OCaml 5.3 syntax (#2609, @Julow)
+
 - Documentation comments are now formatted by default (#2390, @Julow)
   Use the option `parse-docstrings = false` to restore the previous behavior.
 

lib/Extended_ast.ml

@@ -242,7 +242,7 @@ module Parse = struct
     map fg (normalize_mapper ~ocaml_version ~preserve_beginend)
     @@
     let lexbuf = Lexing.from_string str in
-    Location.init lexbuf input_name ;
+    Location.init_info lexbuf input_name ;
     match fg with
     | Structure -> Parse.implementation lexbuf
     | Signature -> Parse.interface lexbuf

lib/Parse_with_comments.ml

@@ -44,7 +44,7 @@ let tokens lexbuf =
 
 let fresh_lexbuf source =
   let lexbuf = Lexing.from_string source in
-  Location.init lexbuf !Location.input_name ;
+  Location.init_info lexbuf !Location.input_name ;
   let hash_bang =
     Lexer.skip_hash_bang lexbuf ;
     let len = lexbuf.lex_last_pos in
@@ -54,7 +54,7 @@ let fresh_lexbuf source =
 
 let split_hash_bang source =
   let lexbuf = Lexing.from_string source in
-  Location.init lexbuf !Location.input_name ;
+  Location.init_info lexbuf !Location.input_name ;
   Lexer.skip_hash_bang lexbuf ;
   let len = lexbuf.lex_last_pos in
   let hash_bang = String.sub source ~pos:0 ~len in

lib/Std_ast.ml

@@ -58,7 +58,7 @@ let map (type a) (x : a t) (m : Ast_mapper.mapper) : a -> a =
 module Parse = struct
   let ast (type a) (fg : a t) ~input_name str : a =
     let lexbuf = Lexing.from_string str in
-    Location.init lexbuf input_name ;
+    Location.init_info lexbuf input_name ;
     match fg with
     | Structure -> Parse.implementation lexbuf
     | Signature -> Parse.interface lexbuf

test/unit/test_translation_unit.ml

@@ -40,6 +40,8 @@ let test_parse_and_format_core_type =
         (Error
            {|test_unit: ignoring "<test>" (syntax error)
 File "<test>", line 1, characters 0-2:
+1 | ;;
+    ^^
 Error: Syntax error
 |}
         ) ]
@@ -69,6 +71,8 @@ let test_parse_and_format_module_type =
 File "<test>", line 1, characters 3-3:
 Error: Syntax error: "end" expected
 File "<test>", line 1, characters 0-3:
+1 | sig
+    ^^^
   This "sig" might be unmatched
 |}
         )