Run compiled code samples

Summary: Runs the compiled code samples - richards needs to not read the sys.argv.

Reviewed By: grantlouisherman

Differential Revision: D96362906

fbshipit-source-id: efb154cea5d19ee6d3eb9ec4ca4a3292fad6727f

Author: DinoV

cinderx/PythonLib/test_cinderx/test_compiler/test_static/pyrefly_binder.py

@@ -2,6 +2,7 @@
 
 import ast
 import json
+import sys
 import unittest
 from glob import glob
 from os import path
@@ -82,12 +83,13 @@ def test_cases(self):
             basename = path.basename(filename)
             if basename == "__init__":
                 continue
+            modname = f"cinderx.PythonLib.test_cinderx.test_compiler.test_static.pyreflytests.{basename}"
             with self.subTest(f), open(f) as f, open(jsonname) as jsonf:
                 data = json.load(jsonf)
                 code = self.compile_one(
                     f.read(),
                     PyreflyTypeInfo(data),
-                    modname=f"cinderx.PythonLib.test_cinderx.test_compiler.test_static.pyreflytests.{basename}",
+                    modname=modname,
                 )
                 if path.exists(testname):
                     print(testname)
@@ -97,6 +99,19 @@ def test_cases(self):
                     exec(compile(test_source, testname, "exec"), ns)
                     ns["verify"](self, code)
 
+                mod = type(sys)(modname)
+                mod.__dict__.update(
+                    **{
+                        "<fixed-modules>": {
+                            "__strict__": __import__("__strict__").__dict__,
+                            "typing": __import__("typing").__dict__,
+                        },
+                        "__name__": "__main__",
+                    }
+                )
+                sys.modules[modname] = mod
+                exec(code, mod.__dict__)
+
     def compile_one(
         self,
         code: str,

cinderx/PythonLib/test_cinderx/test_compiler/test_static/pyreflytests/richards_typed.py

@@ -419,6 +419,6 @@ def run(self, iterations: int) -> bool:
 
 if __name__ == "__main__":
     num_iterations = 1
-    if len(sys.argv) > 1:
-        num_iterations = int(sys.argv[1])
+    # if len(sys.argv) > 1:
+    #    num_iterations = int(sys.argv[1])
     Richards().run(num_iterations)