Upgrade ocamlformat

.github/workflows/ci.yml

@@ -33,7 +33,7 @@ jobs:
         with:
           ocaml-version: ${{ matrix.ocaml-version }}
 
-      - run: opam install ocamlformat.0.18.0
+      - run: opam install ocamlformat.0.22.4
       - run: opam exec -- make fmt-check
       - run: opam pin add coq ${{ matrix.coq-version }}
       - run: opam pin add coq-of-ocaml.dev . --no-action

.ocamlformat

@@ -1 +1 @@
-version=0.20.1
+version=0.22.4

src/adtConstructors.ml

@@ -176,9 +176,8 @@ let of_ocaml_case (typ_name : Name.t) (attributes : Attribute.t list)
                let typs = List.map (fun t -> fst t) typs in
                return (typs, new_typ_vars)
            | _ ->
-               raise
-                 ([ ty ], new_typ_vars)
-                 Error.Category.Unexpected "Unexpected Type of Constructor")
+               raise ([ ty ], new_typ_vars) Error.Category.Unexpected
+                 "Unexpected Type of Constructor")
        | None ->
            let kind = if is_tagged then Kind.Tag else Kind.Set in
            let typ_args = AdtParameters.get_parameters defined_typ_params in

src/structure.ml

@@ -210,7 +210,7 @@ let wrap_documentation (items : t list Monad.t) : t list Monad.t =
   match documentation with
   | None -> items
   | Some documentation ->
-      let* items in
+      let* items = items in
       return [ Documentation (documentation, items) ]
 
 let top_level_evaluation (e : expression) : t list Monad.t =