From 5a9bf78c9b28a44e78fea9a07130f96271b5f06c Mon Sep 17 00:00:00 2001 From: Shon Feder Date: Fri, 4 Aug 2023 19:27:57 -0400 Subject: [PATCH] Remove unused imports --- quint/src/cliCommands.ts | 1 - quint/src/parsing/ToIrListener.ts | 1 - quint/src/types/substitutions.ts | 1 - 3 files changed, 3 deletions(-) diff --git a/quint/src/cliCommands.ts b/quint/src/cliCommands.ts index f50266d1d..ba6de7a52 100644 --- a/quint/src/cliCommands.ts +++ b/quint/src/cliCommands.ts @@ -45,7 +45,6 @@ import { verify } from './quintVerifier' import { flattenModules } from './flattening' import { analyzeModules } from './quintAnalyzer' import { ExecutionFrame } from './runtime/trace' -import { unreachable } from './util' export type stage = 'loading' | 'parsing' | 'typechecking' | 'testing' | 'running' | 'documentation' diff --git a/quint/src/parsing/ToIrListener.ts b/quint/src/parsing/ToIrListener.ts index b8b3543d4..6f5961714 100644 --- a/quint/src/parsing/ToIrListener.ts +++ b/quint/src/parsing/ToIrListener.ts @@ -19,7 +19,6 @@ import { compact, zipWith } from 'lodash' import { Maybe, just, none } from '@sweet-monads/maybe' import { TerminalNode } from 'antlr4ts/tree/TerminalNode' import { QuintTypeDef } from '../quintIr' -import { unreachable } from '../util' /** * An ANTLR4 listener that constructs QuintIr objects out of the abstract diff --git a/quint/src/types/substitutions.ts b/quint/src/types/substitutions.ts index 0ebeaaf39..5b6c3719c 100644 --- a/quint/src/types/substitutions.ts +++ b/quint/src/types/substitutions.ts @@ -16,7 +16,6 @@ import { Either } from '@sweet-monads/either' import { ErrorTree, errorTreeToString } from '../errorTree' import { LookupTable } from '../names/base' import { ConcreteFixedRow, QuintType, Row } from '../quintTypes' -import { unreachable } from '../util' import { Constraint } from './base' import { unify, unifyRows } from './constraintSolver' import { substitutionsToString } from './printing'