feat(tests, vm): add tests for the type checking / arity errors produced by the builtins

SuperFola · SuperFola · commit 31f7bb6cfbce · 2025-04-25T14:07:46.000+02:00
diff --git a/src/arkreactor/VM/VM.cpp b/src/arkreactor/VM/VM.cpp
@@ -1696,7 +1696,7 @@ namespace Ark
                     }
                     else if (consecutive_similar_traces == 0)
                     {
-                        fmt::println("{0:^{1}}", "...", 21 + func_name.size() + loc_as_text.size());
+                        fmt::println(os, "{0:>{1}}", "...", (21 + func_name.size() + loc_as_text.size()) / 2);
                         ++consecutive_similar_traces;
                     }
 
diff --git a/tests/unittests/resources/DiagnosticsSuite/runtime/recursion_depth.expected b/tests/unittests/resources/DiagnosticsSuite/runtime/recursion_depth.expected
@@ -9,6 +9,7 @@ In file tests/unittests/resources/DiagnosticsSuite/runtime/recursion_depth.ark
     5 | }))
 
 [2047] In function `foo' (tests/unittests/resources/DiagnosticsSuite/runtime/recursion_depth.ark:3)
+                                                                ...
 [   1] In global scope (tests/unittests/resources/DiagnosticsSuite/runtime/recursion_depth.ark:7)
 
 Current scope variables values:
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/await_num.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/await_num.ark
@@ -0,0 +1 @@
+(await 1)
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/await_num.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/await_num.expected
@@ -0,0 +1,7 @@
+Function await expected 1 argument
+  -> future (UserType) was of type Number
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/await_num.ark
+    1 | (await 1)
+      | ^~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioappendtofile_num_num.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioappendtofile_num_num.ark
@@ -0,0 +1 @@
+(io:appendToFile 1 2)
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioappendtofile_num_num.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioappendtofile_num_num.expected
@@ -0,0 +1,8 @@
+Function io:appendToFile expected 2 arguments
+  -> filename (String) was of type Number
+  -> content (any)
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/ioappendtofile_num_num.ark
+    1 | (io:appendToFile 1 2)
+      | ^~~~~~~~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/iodir_num.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/iodir_num.ark
@@ -0,0 +1 @@
+(io:dir? 1)
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/iodir_num.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/iodir_num.expected
@@ -0,0 +1,7 @@
+Function io:dir? expected 1 argument
+  -> path (String) was of type Number
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/iodir_num.ark
+    1 | (io:dir? 1)
+      | ^~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/iofileexists_num.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/iofileexists_num.ark
@@ -0,0 +1 @@
+(io:fileExists? 1)
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/iofileexists_num.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/iofileexists_num.expected
@@ -0,0 +1,7 @@
+Function io:fileExists? expected 1 argument
+  -> filename (String) was of type Number
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/iofileexists_num.ark
+    1 | (io:fileExists? 1)
+      | ^~~~~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/iolistfiles_num.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/iolistfiles_num.ark
@@ -0,0 +1 @@
+(io:listFiles 1)
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/iolistfiles_num.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/iolistfiles_num.expected
@@ -0,0 +1,7 @@
+Function io:listFiles expected 1 argument
+  -> path (String) was of type Number
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/iolistfiles_num.ark
+    1 | (io:listFiles 1)
+      | ^~~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/iomakedir_num.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/iomakedir_num.ark
@@ -0,0 +1 @@
+(io:makeDir 1)
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/iomakedir_num.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/iomakedir_num.expected
@@ -0,0 +1,7 @@
+Function io:makeDir expected 1 argument
+  -> path (String) was of type Number
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/iomakedir_num.ark
+    1 | (io:makeDir 1)
+      | ^~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioreadfile_inexistent.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioreadfile_inexistent.ark
@@ -0,0 +1 @@
+(io:readFile "non-existing-file.weird")
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioreadfile_inexistent.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioreadfile_inexistent.expected
@@ -0,0 +1,6 @@
+io:readFile: couldn't read file "non-existing-file.weird" because it doesn't exist
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/ioreadfile_inexistent.ark
+    1 | (io:readFile "non-existing-file.weird")
+      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioreadfile_num.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioreadfile_num.ark
@@ -0,0 +1 @@
+(io:readFile 1)
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioreadfile_num.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioreadfile_num.expected
@@ -0,0 +1,7 @@
+Function io:readFile expected 1 argument
+  -> filename (String) was of type Number
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/ioreadfile_num.ark
+    1 | (io:readFile 1)
+      | ^~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioremovefiles_num.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioremovefiles_num.ark
@@ -0,0 +1 @@
+(io:removeFiles 1)
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioremovefiles_num.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioremovefiles_num.expected
@@ -0,0 +1,8 @@
+Function io:removeFiles expected 2 arguments but got 1
+  -> filename (String) was of type Number
+  -> variadic filenames (String) was not provided
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/ioremovefiles_num.ark
+    1 | (io:removeFiles 1)
+      | ^~~~~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioremovefiles_str_num.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioremovefiles_str_num.ark
@@ -0,0 +1,2 @@
+(io:writeFile "hello" "content")
+(io:removeFiles "hello" 1)
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioremovefiles_str_num.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/ioremovefiles_str_num.expected
@@ -0,0 +1,9 @@
+Function io:removeFiles expected 2 arguments
+  -> filename (String)
+  -> variadic filenames (String) 1 argument do not match
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/ioremovefiles_str_num.ark
+    1 | (io:writeFile "hello" "content")
+    2 | (io:removeFiles "hello" 1)
+      | ^~~~~~~~~~~~~~~~~~~~~~~~~
+    3 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/iowritefile_num_num.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/iowritefile_num_num.ark
@@ -0,0 +1 @@
+(io:writeFile 1 2)
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/iowritefile_num_num.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/iowritefile_num_num.expected
@@ -0,0 +1,8 @@
+Function io:writeFile expected 2 arguments
+  -> filename (String) was of type Number
+  -> content (any)
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/iowritefile_num_num.ark
+    1 | (io:writeFile 1 2)
+      | ^~~~~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/listfill_str.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/listfill_str.ark
@@ -0,0 +1 @@
+(list:fill "hello")
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/listfill_str.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/listfill_str.expected
@@ -0,0 +1,8 @@
+Function list:fill expected 2 arguments but got 1
+  -> size (Number) was of type String
+  -> value (any) was not provided
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/listfill_str.ark
+    1 | (list:fill "hello")
+      | ^~~~~~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/listfind_str_num.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/listfind_str_num.ark
@@ -0,0 +1 @@
+(list:find "hello" 1)
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/listfind_str_num.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/listfind_str_num.expected
@@ -0,0 +1,8 @@
+Function list:find expected 2 arguments
+  -> list (List) was of type String
+  -> value (any)
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/listfind_str_num.ark
+    1 | (list:find "hello" 1)
+      | ^~~~~~~~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/listreverse_str.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/listreverse_str.ark
@@ -0,0 +1 @@
+(list:reverse "hello")
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/listreverse_str.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/listreverse_str.expected
@@ -0,0 +1,7 @@
+Function list:reverse expected 1 argument
+  -> list (List) was of type String
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/listreverse_str.ark
+    1 | (list:reverse "hello")
+      | ^~~~~~~~~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/listsetat_str.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/listsetat_str.ark
@@ -0,0 +1 @@
+(list:setAt "hello")
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/listsetat_str.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/listsetat_str.expected
@@ -0,0 +1,9 @@
+Function list:setAt expected 3 arguments but got 1
+  -> list (List) was of type String
+  -> index (Number) was not provided
+  -> value (any) was not provided
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/listsetat_str.ark
+    1 | (list:setAt "hello")
+      | ^~~~~~~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/listslice_str_num_bool_nil.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/listslice_str_num_bool_nil.ark
@@ -0,0 +1 @@
+(list:slice "hello" 1 true nil)
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/listslice_str_num_bool_nil.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/listslice_str_num_bool_nil.expected
@@ -0,0 +1,10 @@
+Function list:slice expected 4 arguments
+  -> list (List) was of type String
+  -> start (Number)
+  -> end (Number) was of type Bool
+  -> step (Number) was of type Nil
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/listslice_str_num_bool_nil.ark
+    1 | (list:slice "hello" 1 true nil)
+      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/listsort_str.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/listsort_str.ark
@@ -0,0 +1 @@
+(list:sort "hello")
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/listsort_str.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/listsort_str.expected
@@ -0,0 +1,7 @@
+Function list:sort expected 1 argument
+  -> list (List) was of type String
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/listsort_str.ark
+    1 | (list:sort "hello")
+      | ^~~~~~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringchr_str.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringchr_str.ark
@@ -0,0 +1 @@
+(string:chr "1")
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringchr_str.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringchr_str.expected
@@ -0,0 +1,7 @@
+Function string:chr expected 1 argument
+  -> codepoint (Number) was of type String
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/stringchr_str.ark
+    1 | (string:chr "1")
+      | ^~~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringfind_num.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringfind_num.ark
@@ -0,0 +1 @@
+(string:find 1)
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringfind_num.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringfind_num.expected
@@ -0,0 +1,12 @@
+Function string:find expected between 2 arguments and 3 arguments but got 1
+  -> string (String) was of type Number
+  -> substr (String) was not provided
+Alternative 2:
+  -> string (String) was of type Number
+  -> substr (String) was not provided
+  -> startIndex (Number) was not provided
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/stringfind_num.ark
+    1 | (string:find 1)
+      | ^~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringformat_num.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringformat_num.ark
@@ -0,0 +1 @@
+(string:format 1)
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringformat_num.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringformat_num.expected
@@ -0,0 +1,8 @@
+Function string:format expected 2 arguments but got 1
+  -> string (String) was of type Number
+  -> variadic value (any) was not provided
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/stringformat_num.ark
+    1 | (string:format 1)
+      | ^~~~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringord_num.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringord_num.ark
@@ -0,0 +1 @@
+(string:ord 1)
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringord_num.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringord_num.expected
@@ -0,0 +1,7 @@
+Function string:ord expected 1 argument
+  -> string (String) was of type Number
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/stringord_num.ark
+    1 | (string:ord 1)
+      | ^~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringremoveat_num.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringremoveat_num.ark
@@ -0,0 +1 @@
+(string:removeAt 1)
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringremoveat_num.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringremoveat_num.expected
@@ -0,0 +1,8 @@
+Function string:removeAt expected 2 arguments but got 1
+  -> string (String) was of type Number
+  -> index (Number) was not provided
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/stringremoveat_num.ark
+    1 | (string:removeAt 1)
+      | ^~~~~~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringsetat_str.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringsetat_str.ark
@@ -0,0 +1 @@
+(string:setAt "1")
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringsetat_str.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/stringsetat_str.expected
@@ -0,0 +1,9 @@
+Function string:setAt expected 3 arguments but got 1
+  -> string (String)
+  -> index (Number) was not provided
+  -> value (String) was not provided
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/stringsetat_str.ark
+    1 | (string:setAt "1")
+      | ^~~~~~~~~~~~~~~~~
+    2 |
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/syssleep_str.ark b/tests/unittests/resources/DiagnosticsSuite/typeChecking/syssleep_str.ark
@@ -0,0 +1 @@
+(sys:sleep "1")
diff --git a/tests/unittests/resources/DiagnosticsSuite/typeChecking/syssleep_str.expected b/tests/unittests/resources/DiagnosticsSuite/typeChecking/syssleep_str.expected
@@ -0,0 +1,7 @@
+Function sys:sleep expected 1 argument
+  -> duration (Number) was of type String
+
+In file tests/unittests/resources/DiagnosticsSuite/typeChecking/syssleep_str.ark
+    1 | (sys:sleep "1")
+      | ^~~~~~~~~~~~~~
+    2 |

Original file line number	Diff line number	Diff line change
`@@ -1696,7 +1696,7 @@ namespace Ark`
`1696`	`1696`	`}`
`1697`	`1697`	`else if (consecutive_similar_traces == 0)`
`1698`	`1698`	`{`
`1699`		`- fmt::println("{0:^{1}}", "...", 21 + func_name.size() + loc_as_text.size());`
	`1699`	`+ fmt::println(os, "{0:>{1}}", "...", (21 + func_name.size() + loc_as_text.size()) / 2);`
`1700`	`1700`	`++consecutive_similar_traces;`
`1701`	`1701`	`}`
`1702`	`1702`