Add more Read[] tests ... (#1127)

mostly around error checking

mathics/eval/files_io/files.py

@@ -11,6 +11,7 @@
 import mathics
 import mathics.core.parser
 import mathics.core.streams
+from mathics.core.atoms import String
 from mathics.core.builtin import MessageException
 from mathics.core.convert.expression import to_expression, to_mathics_list
 from mathics.core.convert.python import from_python
@@ -200,9 +201,7 @@ def eval_Read(
                         print(e)
 
                 if expr is SymbolEndOfFile:
-                    evaluation.message(
-                        name, "readt", tmp, to_expression("InputSteam", name, n)
-                    )
+                    evaluation.message(name, "readt", tmp, String(stream.name))
                     return SymbolFailed
                 elif isinstance(expr, BaseElement):
                     if typ is SymbolHoldExpression:

test/builtin/files_io/test_read.py

@@ -36,3 +36,43 @@ def test_read_list(str_expr, msgs, str_expected, fail_msg):
         failure_message=fail_msg,
         expected_messages=msgs,
     )
+
+
+lisp1_path = f"{data_dir}/lisp1.m"
+invalid_path = f"{data_dir}/file-should-not-appear"
+
+
+@pytest.mark.parametrize(
+    ("str_expr", "msgs", "str_expected", "fail_msg"),
+    [
+        (
+            f'Read["{lisp1_path}", Junk]',
+            ["Junk is not a valid format specification."],
+            f'Read["{lisp1_path}", Junk]',
+            "Read invalid format specification",
+        ),
+        (
+            f'Read["{invalid_path}"]',
+            [f"Cannot open {invalid_path}."],
+            "$Failed",
+            "Read[] with missing path",
+        ),
+        (
+            f'Read["{lisp1_path}"]',
+            [f"Invalid input found when reading '(1) from {lisp1_path}."],
+            "$Failed",
+            "Read[] with unparsable default data",
+        ),
+    ],
+)
+def test_read(str_expr, msgs, str_expected, fail_msg):
+    """Read[] tests."""
+    check_evaluation(
+        str_expr,
+        str_expected,
+        to_string_expr=False,
+        to_string_expected=False,
+        hold_expected=False,
+        failure_message=fail_msg,
+        expected_messages=msgs,
+    )