[tests][hir-typer] Add hir-tests fixture
--- Currently, we run type inference passes early in the pipeline and do not check inference output in any tests, test fixtures, or verifier passes. In fact, the only ways to view inferred types are (1) locally add a test fixture with`@only` and inspect console logs or (2) scroll to the relevant section on a playground example. However, inferred types and effects significantly affect the output of later passes (Alias / MutableRange analysis, InferReactiveIdentifiers, etc), and we have already found some bugs due to incorrect inference (e.g. #1274). This PR add the `typer-tests` fixture with the following goals 1. Record relevant current compiler type + effect inference output. 2. Have relatively stable output (with respect to changes in HIR and PrintHIR). - we try to achieve this by annotating the source code.
Mofei Zhang committed
Mar 13, 2023 at 14:49 UTC
03f3e541ce1d5b472c80d430fda7581bdd74ee42
538 files changed
+1
-1
compiler/forget/src/__tests__/compiler-test.ts
renamed
+1
-1
@@ -33,7 +33,7 @@ const FlowPragmas = [/\/\/\s@flow$/gm, /\*\s@flow$/gm];
33
34
describe("React Forget (HIR version)", () => {
35
generateTestsFromFixtures(
36
- path.join(__dirname, "fixtures", "hir"),
36
+ path.join(__dirname, "fixtures", "compiler"),
37
(input, file, options) => {
38
const matches = input.matchAll(Pragma_RE);
39