Use ppx_inline_test for unit tests

coq-lsp.opam

@@ -31,7 +31,7 @@ depends: [
   "menhir"       { >= "20220210" }
 
   # for unit testing
-  "alcotest"     { >= "1.6.0" & with-test }
+  "ppx_inline_test"     { >= "0.14.1" }
 
   # Uncomment this for releases
   # "coq"          { >= "8.17" < "8.18"  }

coq/dune

@@ -3,4 +3,6 @@
  (public_name coq-lsp.coq)
  ; Unfortunate we have to link the STM due to the LTAC plugin
  ; depending on it, we should fix this upstream
+ (inline_tests)
+ (preprocess (pps ppx_inline_test))
  (libraries lang coq-core.vernac coq-serapi.serlib))

coq/utf8.ml

@@ -189,3 +189,31 @@ let get_byte_offset_from_utf16_pos line (char : int) =
     ()
   done;
   if !byte_idx < String.length line then Some !byte_idx else None
+
+let%test_unit "utf16 offsets" =
+  let testcases_x =
+    [ ("aax", 2, true)
+    ; ("  xoo", 2, true)
+    ; ("0123", 4, false)
+    ; ("  𝒞x", 4, true)
+    ; ("  𝒞x𝒞", 4, true)
+    ; ("  𝒞∫x", 5, true)
+    ; ("  𝒞", 4, false)
+    ; ("∫x.dy", 1, true)
+    ]
+  in
+  List.iter
+    (fun (s, i, b) ->
+      let res = get_byte_offset_from_utf16_pos s i in
+      if b then
+        let res = Option.map (fun i -> s.[i]) res in
+        match res with
+        | Some x when x = 'x' -> ()
+        | Some x ->
+          failwith
+            (Printf.sprintf "Didn't find x in test %s : %d, instead: %c" s i x)
+        | None ->
+          failwith (Printf.sprintf "Didn't not find x in test %s : %d" s i)
+      else if res != None then
+        failwith (Printf.sprintf "Shouldn't find x in test %s : %d" s i))
+    testcases_x

flake.nix

@@ -66,7 +66,7 @@
           in
             l.attrValues {
               inherit serapi;
-              inherit (ocamlPackages) yojson cmdliner uri dune-build-info;
+              inherit (ocamlPackages) yojson cmdliner uri dune-build-info ppx_inline_test;
             };
         };
 
@@ -90,7 +90,7 @@
           packages = l.attrValues {
             inherit (config.treefmt.build) wrapper;
             inherit (pkgs) dune_3 nodejs dune-release;
-            inherit (ocamlPackages) ocaml ocaml-lsp alcotest;
+            inherit (ocamlPackages) ocaml ocamlformat ocaml-lsp;
           };
         };
       };