fix(Diagnostic): use Format.pp_infinity in string_of_text for OCaml 5…

….2 (#149)

Co-authored-by: favonia <[email protected]>

.github/workflows/ocaml.yaml

@@ -9,9 +9,8 @@ jobs:
     strategy:
       matrix:
         include:
-          - ocaml-compiler: "ocaml-base-compiler.5.0.0"
-          - ocaml-compiler: "ocaml-base-compiler.5.1.1"
-            with-doc: true
+          - ocaml-compiler: "ocaml-base-compiler.5.2.0~alpha1"
+            with-doc: false
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4

asai-examples.opam

@@ -10,7 +10,7 @@ homepage: "https://github.com/RedPRL/asai"
 bug-reports: "https://github.com/RedPRL/asai/issues"
 depends: [
   "dune" {>= "3.1"}
-  "ocaml" {>= "5.0"}
+  "ocaml" {>= "5.2"}
   "algaeff" {>= "2.0"}
   "bwd" {>= "2.2"}
   "menhir" {>= "20220210"}

asai-lsp.opam

@@ -10,7 +10,7 @@ homepage: "https://github.com/RedPRL/asai"
 bug-reports: "https://github.com/RedPRL/asai/issues"
 depends: [
   "dune" {>= "3.1"}
-  "ocaml" {>= "5.0"}
+  "ocaml" {>= "5.2"}
   "bwd" {>= "2.2"}
   "eio" {>= "0.12"}
   "eio_main" {>= "0.12"}

asai.opam

@@ -10,7 +10,7 @@ homepage: "https://github.com/RedPRL/asai"
 bug-reports: "https://github.com/RedPRL/asai/issues"
 depends: [
   "dune" {>= "3.1"}
-  "ocaml" {>= "5.0"}
+  "ocaml" {>= "5.2"}
   "algaeff" {>= "2.0"}
   "bwd" {>= "2.2"}
   "alcotest" {with-test & >= "1.5"}

dune-project

@@ -17,7 +17,7 @@
  (synopsis "A library for constructing and printing compiler diagnostics")
  (description "This package offers an implementation of compiler diagnostics and supports multiple handlers for displaying diagnostics to the end user. Currently, the package comes with built-in handlers for GitHub Actions workflow commands and UNIX terminals.")
  (depends
-   (ocaml (>= 5.0))
+   (ocaml (>= 5.2))
    (algaeff (>= 2.0))
    (bwd (>= 2.2))
    (alcotest (and :with-test (>= 1.5)))
@@ -27,7 +27,7 @@
  (synopsis "LSP handler for the package asai")
  (description "This package offers an language server protocol (LSP) handler that can turn an application using the asai package into a LSP server. This is an experimental prototype and very likely its design will significantly change in future versions.")
  (depends
-   (ocaml (>= 5.0))
+   (ocaml (>= 5.2))
    (bwd (>= 2.2))
    (eio (>= 0.12))
    (eio_main (>= 0.12))
@@ -39,7 +39,7 @@
  (synopsis "Examples of the package asai")
  (description "This package offers some examples of the asai package. They are organized into a separate package to reduce the dependencies of the main package.")
  (depends
-   (ocaml (>= 5.0))
+   (ocaml (>= 5.2))
    (algaeff (>= 2.0))
    (bwd (>= 2.2))
    (menhir (>= 20220210))

src/Diagnostic.ml

@@ -42,7 +42,7 @@ let map f d = {d with message = f d.message}
 let string_of_text text : string =
   let buf = Buffer.create 20 in
   let fmt = Format.formatter_of_buffer buf in
-  let () = Format.pp_set_geometry fmt ~max_indent:2 ~margin:Int.max_int in
+  let () = Format.pp_set_geometry fmt ~max_indent:2 ~margin:(Format.pp_infinity-1) in
   text fmt;
   Format.pp_print_flush fmt ();
   Str.global_replace (Str.regexp "\\([\r\n]+ *\\)+") " " @@

src/Explicator.ml

@@ -83,7 +83,7 @@ module Make (Tag : Tag) = struct
       let source = SourceReader.load ploc.source in
       let eof = SourceReader.length source in
       let find_eol i = UserContent.find_eol ~line_breaks (SourceReader.unsafe_get source) (i, eof) in
-      let[@tailcall] rec go state : (Tag.t option * Range.position) list -> _ =
+      let rec go state : (Tag.t option * Range.position) list -> _ =
         function
         | (ptag, ploc) :: ps when state.cursor.line_num = ploc.line_num ->
           if ploc.offset > eof then invalid_arg "Asai.Explicator.explicate: beyond eof; use the debug mode";