Conformance - skip Pyre on Windows as it's not supported

Author: Andrej730

conformance/README.md

@@ -60,7 +60,8 @@ To run the conformance test suite:
 * Switch to the `conformance` subdirectory and install all dependencies (`pip install -r requirements.txt`).
 * Switch to the `src` subdirectory and run `python main.py`.
 
-Note that some type checkers may not run on some platforms. If a type checker fails to install, tests will be skipped for that type checker.
+Note that some type checkers may not run on some platforms. If a type checker fails to install, tests will be skipped for that type checker.  
+Currently, the only unsupported type checker is Pyre on Windows.
 
 ## Reporting Conformance Results
 

conformance/requirements.txt

@@ -4,5 +4,5 @@ tqdm
 pyright
 mypy
 pip
-pyre-check
+pyre-check; platform_system != "Windows"
 pytype

conformance/src/type_checker.py

@@ -387,6 +387,6 @@ def parse_errors(self, output: Sequence[str]) -> dict[int, list[str]]:
 TYPE_CHECKERS: Sequence[TypeChecker] = (
     MypyTypeChecker(),
     PyrightTypeChecker(),
-    PyreTypeChecker(),
+    *([] if os.name == "nt" else [PyreTypeChecker()]),
     PytypeTypeChecker(),
 )