File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -65,7 +65,14 @@ def main(globals, argList=None):
6565 printStderr (f'Unsupported language { args .lang } . Supported: ' + ', ' .join (i18n .allLanguages ))
6666 sys .exit (1 )
6767
68- fileToRun : str = args .file
68+ isInteractive = args .interactive
69+ version = versionMod .readVersion ()
70+ fileToRun : str | None = args .file
71+ if fileToRun is None :
72+ if args .repls :
73+ import replTester
74+ replTester .testRepls (args .repls , globals )
75+ return
6976 if not os .path .exists (fileToRun ):
7077 printStderr (f'File { fileToRun } does not exist' )
7178 sys .exit (1 )
@@ -75,11 +82,6 @@ def main(globals, argList=None):
7582 fileToRun = os .path .basename (fileToRun )
7683 debug (f'Changed directory to { d } , fileToRun={ fileToRun } ' )
7784
78- isInteractive = args .interactive
79- version = versionMod .readVersion ()
80-
81- if fileToRun is None :
82- return
8385
8486 if not args .checkRunnable and (not args .quiet or args .verbose ):
8587 printWelcomeString (fileToRun , version , doTypecheck = args .checkTypes )
You can’t perform that action at this time.
0 commit comments