Apply suggestions from code review

Co-authored-by: Igor Konnov <igor@informal.systems>
informalsystems · Oct 16, 2023 · 740e712 · 740e712
1 parent 0297948
commit 740e712
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/quint/src/cliCommands.ts b/quint/src/cliCommands.ts
@@ -219,7 +219,7 @@ export async function parse(loaded: LoadedStage): Promise<CLIProcedure<ParsedSta
       }
       return parsePhase3importAndNameResolution(phase2Data)
     },
-    parsePhase4toposort,
+    phase3Data => parsePhase4toposort(phase3Data),
     phase4Data => ({ ...parsing, ...phase4Data, idGen }),
     result => {
       if (result.errors.length > 0) {

diff --git a/quint/test/parsing/quintParserFrontend.test.ts b/quint/test/parsing/quintParserFrontend.test.ts
@@ -49,7 +49,6 @@ function parseAndCompare(artifact: string): void {
   const phase1Result = parsePhase1fromText(gen, readQuint(artifact), mainPath.toSourceName())
   const phase2Result = parsePhase2sourceResolution(gen, resolver, mainPath, phase1Result)
 
-  // const { modules: modules2, sourceMap } = phase2Result
 
   const phase3Result = parsePhase3importAndNameResolution(phase2Result)
   const { modules, sourceMap, errors } = parsePhase4toposort(phase3Result)