Sandbox DumpParse tests...

and add a return value to DumpParse

Author: rocky

mathics/builtin/files_io/files.py

@@ -237,8 +237,10 @@ class DumpParse(Builtin):
       a Pickle file $output$. $True$ is returned if everthing want okay.
     </dl>
 
-    >> DumpParse["BoolEval/BoolEval.m", "/tmp/BoolEval.mx3"]
-     = ...
+    >S dumpParsedFile = FileNameJoin[{$TemporaryDirectory, "BoolEval.mx3"}]
+    >S DumpParse["BoolEval/BoolEval.m", dumpParsedFile]
+     = True
+    #> Clear[dumpParsedFile]
     """
 
     options = {

mathics/core/parser/util.py

@@ -13,21 +13,25 @@
 from mathics.core.parser.convert import convert
 from mathics.core.parser.feed import MathicsSingleLineFeeder
 from mathics.core.parser.parser import Parser
-from mathics.core.symbols import Symbol, ensure_context
+from mathics.core.symbols import Symbol, SymbolTrue, ensure_context
+from mathics.core.systemsymbols import SymbolFailed
 
 parser = Parser()
 
 
-def dump_exprs_to_pcl_file(exprs, pickle_file: str) -> Optional[str]:
+def dump_exprs_to_pcl_file(exprs, pickle_file: str) -> Symbol:
     """
     Parse input from `feeder` and pickle serialize the parsed M-expression Python written
     to pickle_file.
     Serializes a Mathics3 AST Node to a file `pickle_file` using Python pickle.
+
+    Return SymbolTrue if things went okay.
     """
     # Open the file in binary write mode
     with open(pickle_file, "wb") as f:
         # Protocol -1 uses the highest available binary protocol for efficiency
         pickle.dump(exprs, f, protocol=pickle.HIGHEST_PROTOCOL)
+    return SymbolTrue
 
 
 def parse(definitions, feeder: LineFeeder) -> Optional[BaseElement]:
@@ -99,7 +103,7 @@ def parse_returning_code(
     return converted, source_text
 
 
-def parse_dump_to_pcl_file(feeder: LineFeeder, pickle_file: str) -> Optional[str]:
+def parse_dump_to_pcl_file(feeder: LineFeeder, pickle_file: str) -> Symbol:
     """
     Parse input from `feeder` and pickle serialize the parsed M-expression Python written
     to pickle_file.
@@ -108,7 +112,7 @@ def parse_dump_to_pcl_file(feeder: LineFeeder, pickle_file: str) -> Optional[str
     ast = parser.parse(feeder)
 
     if ast is None:
-        return None
+        return SymbolFailed
     # Ensure the input is actually a Node (optional safety check)
     if not isinstance(ast, ASTNode):
         raise TypeError(f"Expected mathics.core.parser.ast.Node, got {type(ast)}")
@@ -117,6 +121,7 @@ def parse_dump_to_pcl_file(feeder: LineFeeder, pickle_file: str) -> Optional[str
     with open(pickle_file, "wb") as f:
         # Protocol -1 uses the highest available binary protocol for efficiency
         pickle.dump(ast, f, protocol=pickle.HIGHEST_PROTOCOL)
+    return SymbolTrue
 
 
 def parse_from_pcl_file(definitions, pickle_file: str):