Upgrade to ocaml.5.3.0

.github/workflows/ci.yml

@@ -16,7 +16,7 @@ jobs:
         os:
           - ubuntu-latest
         ocaml-compiler:
-          - 5.2.x
+          - 5.3.x
 
     runs-on: ${{ matrix.os }}
 

.github/workflows/more-ci.yml

@@ -29,12 +29,13 @@ jobs:
           - ubuntu-latest
           - windows-latest
         ocaml-compiler:
+          - 5.3.x
           - 5.2.x
           - 4.14.x
         exclude:
           # We exclude the combination already tested in the 'ci' workflow.
           - os: ubuntu-latest
-            ocaml-compiler: 5.2.x
+            ocaml-compiler: 5.3.x
           # We exclude windows-4.14 - this fails when building core.
           - os: windows-latest
             ocaml-compiler: 4.14.x

.ocamlformat

@@ -1,2 +1,4 @@
 version=0.27.0
+ocaml-version=4.14
 profile=janestreet
+parse-docstrings=true

doc/docs/tutorials/provider-explicit/README.md

@@ -366,7 +366,7 @@ And, again, time to instantiate our polymorphic code!
     3
     ~f:(fun x -> x + 1)
   |> Higher_kinded_list.project
-- : int list = List.(::) (3, [4; 5; 6; 7; 8; 9; 10; 11; 12])
+- : int list = [3; 4; 5; 6; 7; 8; 9; 10; 11; 12]
 
 # map_n_times
     (mappable_array ())

test/mdx/test__magic3.md

@@ -111,7 +111,7 @@ let _ = (Trait.t : (unit, string, [ `A]) Provider.Trait.t) ;;
 ```
 ```mdx-error
 Line 1, characters 10-17:
-Error: This expression has type (unit, unit, 'a) Provider.Trait.t
+Error: The value Trait.t has type (unit, unit, 'a) Provider.Trait.t
        but an expression was expected of type
          (unit, string, [ `A ]) Provider.Trait.t
        Type unit is not compatible with type string
@@ -133,7 +133,7 @@ let crash () =
 ```
 ```mdx-error
 Line 2, characters 46-47:
-Error: This expression has type (int, int, [ `A ]) Provider.Trait.t
+Error: The value b has type (int, int, [ `A ]) Provider.Trait.t
        but an expression was expected of type
          (string, 'a, 'b) Provider.Trait.t
        Type int is not compatible with type string

test/test__make.ml

@@ -1,8 +1,8 @@
 (* This test is focused on the "make interface" functionality. We are testing
-   that different ways to create an interface -- using [make], [extend], [Trait.
-   implement], or the provider interface supplied maker -- all result in
-   equivalent interfaces. This ensures consistency across different methods of
-   interface creation. *)
+   that different ways to create an interface -- using [make], [extend],
+   [Trait. implement], or the provider interface supplied maker -- all result
+   in equivalent interfaces. This ensures consistency across different methods
+   of interface creation. *)
 
 let%expect_test "int-printer" =
   let printer = Test_providers.Int_printer.make () in