test(Diagnostic): add a test (#153)

RedPRL · Sep 29, 2024 · ccfc4af · ccfc4af
1 parent 4c0e340
commit ccfc4af
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/TestDiagnostic.ml b/test/TestDiagnostic.ml
@@ -8,5 +8,6 @@ let () =
     "string_of_text",
     [
       of_test "\\n" (Asai.Diagnostic.text " \r   e \n  f  \n   g   ") "  e  f   g   ";
+      of_test "\\n" (Asai.Diagnostic.textf "@[<v>123@[456@]789@]") "123 456789";
     ]
   ]