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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

SuperFola merged 1 commit into dev from tests/builtins

Apr 26, 2025

src/arkreactor/Builtins/Mathematics.cpp

-Original file line number
+Diff line change
@@ Expand Up / @@ -126,12 +126,6 @@ namespace Ark::internal::Builtins::Mathematics @@
          */
         Value isnan_(std::vector<Value>& n, VM* vm [[maybe_unused]])
         {
-            if (!types::check(n, ValueType::Any))
-                throw types::TypeCheckingError(
-                    "math:NaN?",
-                    { { types::Contract { { types::Typedef("value", ValueType::Any) } } } },
-                    n);
             if (n[0].valueType() != ValueType::Number)
                 return falseSym;
@@ Expand All / @@ -150,12 +144,6 @@ namespace Ark::internal::Builtins::Mathematics @@
          */
         Value isinf_(std::vector<Value>& n, VM* vm [[maybe_unused]])
         {
-            if (!types::check(n, ValueType::Any))
-                throw types::TypeCheckingError(
-                    "math:Inf?",
-                    { { types::Contract { { types::Typedef("value", ValueType::Any) } } } },
-                    n);
             if (n[0].valueType() != ValueType::Number)
                 return falseSym;
@@ Expand Down @@

src/arkreactor/VM/VM.cpp

            
                      Original file line number
                      Diff line number
                      Diff line change
                  
    @@ -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, "       ...");

                            ++consecutive_similar_traces;

                        }

tests/unittests/resources/DiagnosticsSuite/runtime/mathln_out_of_range.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:ln -1)

tests/unittests/resources/DiagnosticsSuite/runtime/mathln_out_of_range.expected

-Original file line number
+Diff line change
@@ -0,0 +1,6 @@
+    math:ln: value -1 must be greater than 0
+    In file tests/unittests/resources/DiagnosticsSuite/runtime/mathln_out_of_range.ark
+| (math:ln -1)
+          | ^~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/runtime/recursion_depth.expected

-Original file line number
+Diff line change
@@ Expand Up @@
 | }))
     [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:
@@ Expand Down @@

tests/unittests/resources/DiagnosticsSuite/typeChecking/await_num.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(await 1)

tests/unittests/resources/DiagnosticsSuite/typeChecking/await_num.expected

-Original file line number
+Diff line change
@@ -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
+| (await 1)
+          | ^~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/ioappendtofile_num_num.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(io:appendToFile 1 2)

tests/unittests/resources/DiagnosticsSuite/typeChecking/ioappendtofile_num_num.expected

-Original file line number
+Diff line change
@@ -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
+| (io:appendToFile 1 2)
+          | ^~~~~~~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/iodir_num.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(io:dir? 1)

tests/unittests/resources/DiagnosticsSuite/typeChecking/iodir_num.expected

-Original file line number
+Diff line change
@@ -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
+| (io:dir? 1)
+          | ^~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/iofileexists_num.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(io:fileExists? 1)

tests/unittests/resources/DiagnosticsSuite/typeChecking/iofileexists_num.expected

-Original file line number
+Diff line change
@@ -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
+| (io:fileExists? 1)
+          | ^~~~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/iolistfiles_num.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(io:listFiles 1)

tests/unittests/resources/DiagnosticsSuite/typeChecking/iolistfiles_num.expected

-Original file line number
+Diff line change
@@ -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
+| (io:listFiles 1)
+          | ^~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/iomakedir_num.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(io:makeDir 1)

tests/unittests/resources/DiagnosticsSuite/typeChecking/iomakedir_num.expected

-Original file line number
+Diff line change
@@ -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
+| (io:makeDir 1)
+          | ^~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/ioreadfile_inexistent.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(io:readFile "non-existing-file.weird")

tests/unittests/resources/DiagnosticsSuite/typeChecking/ioreadfile_inexistent.expected

-Original file line number
+Diff line change
@@ -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
+| (io:readFile "non-existing-file.weird")
+          | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/ioreadfile_num.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(io:readFile 1)

tests/unittests/resources/DiagnosticsSuite/typeChecking/ioreadfile_num.expected

-Original file line number
+Diff line change
@@ -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
+| (io:readFile 1)
+          | ^~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/ioremovefiles_num.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(io:removeFiles 1)

tests/unittests/resources/DiagnosticsSuite/typeChecking/ioremovefiles_num.expected

-Original file line number
+Diff line change
@@ -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
+| (io:removeFiles 1)
+          | ^~~~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/ioremovefiles_str_num.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		(io:writeFile "hello" "content")
		(io:removeFiles "hello" 1)

tests/unittests/resources/DiagnosticsSuite/typeChecking/ioremovefiles_str_num.expected

-Original file line number
+Diff line change
@@ -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
+| (io:writeFile "hello" "content")
+| (io:removeFiles "hello" 1)
+          | ^~~~~~~~~~~~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/iowritefile_num_num.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(io:writeFile 1 2)

tests/unittests/resources/DiagnosticsSuite/typeChecking/iowritefile_num_num.expected

-Original file line number
+Diff line change
@@ -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
+| (io:writeFile 1 2)
+          | ^~~~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/listfill_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(list:fill "hello")

tests/unittests/resources/DiagnosticsSuite/typeChecking/listfill_str.expected

-Original file line number
+Diff line change
@@ -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
+| (list:fill "hello")
+          | ^~~~~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/listfind_str_num.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(list:find "hello" 1)

tests/unittests/resources/DiagnosticsSuite/typeChecking/listfind_str_num.expected

-Original file line number
+Diff line change
@@ -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
+| (list:find "hello" 1)
+          | ^~~~~~~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/listreverse_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(list:reverse "hello")

tests/unittests/resources/DiagnosticsSuite/typeChecking/listreverse_str.expected

-Original file line number
+Diff line change
@@ -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
+| (list:reverse "hello")
+          | ^~~~~~~~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/listsetat_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(list:setAt "hello")

tests/unittests/resources/DiagnosticsSuite/typeChecking/listsetat_str.expected

-Original file line number
+Diff line change
@@ -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
+| (list:setAt "hello")
+          | ^~~~~~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/listslice_str_num_bool_nil.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(list:slice "hello" 1 true nil)

tests/unittests/resources/DiagnosticsSuite/typeChecking/listslice_str_num_bool_nil.expected

-Original file line number
+Diff line change
@@ -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
+| (list:slice "hello" 1 true nil)
+          | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/listsort_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(list:sort "hello")

tests/unittests/resources/DiagnosticsSuite/typeChecking/listsort_str.expected

-Original file line number
+Diff line change
@@ -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
+| (list:sort "hello")
+          | ^~~~~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathacosh_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:acosh "1")

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathacosh_str.expected

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    Function math:acosh expected 1 argument
+      -> value (Number) was of type String
+    In file tests/unittests/resources/DiagnosticsSuite/typeChecking/mathacosh_str.ark
+| (math:acosh "1")
+          | ^~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/matharccos_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:arccos "1")

tests/unittests/resources/DiagnosticsSuite/typeChecking/matharccos_str.expected

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    Function math:arccos expected 1 argument
+      -> value (Number) was of type String
+    In file tests/unittests/resources/DiagnosticsSuite/typeChecking/matharccos_str.ark
+| (math:arccos "1")
+          | ^~~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/matharcsin_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:arcsin "1")

tests/unittests/resources/DiagnosticsSuite/typeChecking/matharcsin_str.expected

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    Function math:arcsin expected 1 argument
+      -> value (Number) was of type String
+    In file tests/unittests/resources/DiagnosticsSuite/typeChecking/matharcsin_str.ark
+| (math:arcsin "1")
+          | ^~~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/matharctan_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:arctan "1")

tests/unittests/resources/DiagnosticsSuite/typeChecking/matharctan_str.expected

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    Function math:arctan expected 1 argument
+      -> value (Number) was of type String
+    In file tests/unittests/resources/DiagnosticsSuite/typeChecking/matharctan_str.ark
+| (math:arctan "1")
+          | ^~~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathasinh_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:asinh "1")

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathasinh_str.expected

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    Function math:asinh expected 1 argument
+      -> value (Number) was of type String
+    In file tests/unittests/resources/DiagnosticsSuite/typeChecking/mathasinh_str.ark
+| (math:asinh "1")
+          | ^~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathatanh_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:atanh "1")

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathatanh_str.expected

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    Function math:atanh expected 1 argument
+      -> value (Number) was of type String
+    In file tests/unittests/resources/DiagnosticsSuite/typeChecking/mathatanh_str.ark
+| (math:atanh "1")
+          | ^~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathceil_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:ceil "1")

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathceil_str.expected

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    Function math:ceil expected 1 argument
+      -> value (Number) was of type String
+    In file tests/unittests/resources/DiagnosticsSuite/typeChecking/mathceil_str.ark
+| (math:ceil "1")
+          | ^~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathcos_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:cos "1")

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathcos_str.expected

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    Function math:cos expected 1 argument
+      -> value (Number) was of type String
+    In file tests/unittests/resources/DiagnosticsSuite/typeChecking/mathcos_str.ark
+| (math:cos "1")
+          | ^~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathcosh_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:cosh "1")

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathcosh_str.expected

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    Function math:cosh expected 1 argument
+      -> value (Number) was of type String
+    In file tests/unittests/resources/DiagnosticsSuite/typeChecking/mathcosh_str.ark
+| (math:cosh "1")
+          | ^~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathexp_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:exp "1")

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathexp_str.expected

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    Function math:exp expected 1 argument
+      -> value (Number) was of type String
+    In file tests/unittests/resources/DiagnosticsSuite/typeChecking/mathexp_str.ark
+| (math:exp "1")
+          | ^~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathfloor_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:floor "1")

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathfloor_str.expected

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    Function math:floor expected 1 argument
+      -> value (Number) was of type String
+    In file tests/unittests/resources/DiagnosticsSuite/typeChecking/mathfloor_str.ark
+| (math:floor "1")
+          | ^~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathln_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:ln "1")

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathln_str.expected

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    Function math:ln expected 1 argument
+      -> value (Number) was of type String
+    In file tests/unittests/resources/DiagnosticsSuite/typeChecking/mathln_str.ark
+| (math:ln "1")
+          | ^~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathround_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:round "1")

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathround_str.expected

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    Function math:round expected 1 argument
+      -> value (Number) was of type String
+    In file tests/unittests/resources/DiagnosticsSuite/typeChecking/mathround_str.ark
+| (math:round "1")
+          | ^~~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathsin_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:sin "1")

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathsin_str.expected

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    Function math:sin expected 1 argument
+      -> value (Number) was of type String
+    In file tests/unittests/resources/DiagnosticsSuite/typeChecking/mathsin_str.ark
+| (math:sin "1")
+          | ^~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathsinh_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:sinh "1")

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathsinh_str.expected

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    Function math:sinh expected 1 argument
+      -> value (Number) was of type String
+    In file tests/unittests/resources/DiagnosticsSuite/typeChecking/mathsinh_str.ark
+| (math:sinh "1")
+          | ^~~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathtan_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:tan "1")

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathtan_str.expected

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    Function math:tan expected 1 argument
+      -> value (Number) was of type String
+    In file tests/unittests/resources/DiagnosticsSuite/typeChecking/mathtan_str.ark
+| (math:tan "1")
+          | ^~~~~~~~~~~~~
+|

tests/unittests/resources/DiagnosticsSuite/typeChecking/mathtanh_str.ark

Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(math:tanh "1")

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

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

Uh oh!

Diff view

Diff view

There are no files selected for viewing

Uh oh!

Uh oh!