aboutsummaryrefslogtreecommitdiff
path: root/test/type_of.ml
diff options
context:
space:
mode:
authorChimrod <>2025-07-19 11:18:24 +0200
committerChimrod <>2025-08-01 14:12:14 +0200
commit3046fb0d0c1ceac2c6a6ca9456e9e05671e0cef9 (patch)
tree8ba2700e541a6753499ceac54ced4f1d02a3b625 /test/type_of.ml
parent406b7b79cd375b071f92ddee9cee14a98dc91281 (diff)
Added dependencies system between the modules in the checksHEADmaster
Diffstat (limited to 'test/type_of.ml')
-rw-r--r--test/type_of.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/type_of.ml b/test/type_of.ml
index e816bc7..1b84faa 100644
--- a/test/type_of.ml
+++ b/test/type_of.ml
@@ -78,7 +78,7 @@ let concat_text () = _test_instruction {|$a = 'A' + 1|} []
let increment_string () = _test_instruction {|$a += 1|} (message' Error)
let test =
- ( "Typechecking",
+ ( __FILE__,
[
Alcotest.test_case "Assign str to int" `Quick type_mismatch;
Alcotest.test_case "$str = int" `Quick assign_int_str;