allow to execute multiple files

Author: Deric-W

lambda_repl/__init__.py

@@ -14,7 +14,7 @@
 from .parsing import LambdaTransformer
 from .aliases import Aliases
 
-__version__ = "1.0.0"
+__version__ = "1.1.0"
 __author__  = "Eric Niklas Wolf"
 __email__   = "eric_niklas.wolf@mailbox.tu-dresden.de"
 __all__ = (

lambda_repl/main.py

@@ -26,7 +26,8 @@
     "-f",
     "--file",
     type=FileType("r"),
-    help="file which should be executed in the REPL"
+    action="append",
+    help="add file which should be executed in the REPL"
 )
 
 
@@ -37,8 +38,8 @@ def main(args: Namespace) -> int:
         LambdaTransformer(),
         BetaNormalisingVisitor()
     )
-    if args.file is not None:
-        for line in args.file:
+    for file in args.file or ():
+        for line in file:
             repl.cmdqueue.append(line)
     repl.cmdloop()
     return 0

pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "lambda_repl"
-version = "1.0.0"
+version = "1.1.0"
 description = "REPL for the lambda calculus"
 requires-python = ">=3.10"
 keywords = []