Add test for stringutil

hazelgrove · Dec 13, 2024 · d877cfd · d877cfd
1 parent 897ef9a
commit d877cfd
Show file tree

Hide file tree

Showing 2 changed files with 36 additions and 0 deletions.
diff --git a/test/Test_StringUtil.re b/test/Test_StringUtil.re
@@ -0,0 +1,35 @@
+open Alcotest;
+open Util;
+
+let tests = (
+  "StringUtil",
+  [
+    test_case(
+      "Unicode grapheme lengths",
+      `Quick,
+      () => {
+        check(
+          int,
+          "Length of upside down question mark",
+          1,
+          StringUtil.length("¿"),
+        );
+        check(int, "Length of alpha character", 1, StringUtil.length("a"));
+        check(
+          int,
+          "Length of multiple upside down question marks",
+          3,
+          StringUtil.length("¿¿¿"),
+        );
+      },
+    ),
+    test_case("regex matches upside down question mark", `Quick, () => {
+      check(
+        bool,
+        "Match upside down question mark",
+        true,
+        StringUtil.match(StringUtil.regexp("^¿$"), "¿"),
+      )
+    }),
+  ],
+);
diff --git a/test/haz3ltest.re b/test/haz3ltest.re
@@ -5,6 +5,7 @@ let (suite, _) =
     ~and_exit=false,
     "HazelTests",
     [
+      Test_StringUtil.tests,
       ("Elaboration", Test_Elaboration.elaboration_tests),
       ("Statics", Test_Statics.tests),
       ("Evaluator", Test_Evaluator.tests),