Fix formatting

informalsystems · Oct 6, 2023 · 3f0e956 · 3f0e956
1 parent f59eca9
commit 3f0e956
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 5 deletions.
diff --git a/quint/src/graphics.ts b/quint/src/graphics.ts
@@ -29,7 +29,7 @@ import {
 import { QuintDeclaration, QuintEx, isAnnotatedDef } from './ir/quintIr'
 import { ExecutionFrame } from './runtime/trace'
 import { zerog } from './idGenerator'
-import { ConcreteFixedRow, ConcreteRow, isUnitType, QuintType, Row } from './ir/quintTypes'
+import { ConcreteRow, QuintType, Row, isUnitType } from './ir/quintTypes'
 import { TypeScheme } from './types/base'
 import { canonicalTypeScheme } from './types/printing'
 import { declarationToString, qualifierToString, rowToString } from './ir/IRprinting'

diff --git a/quint/src/parsing/ToIrListener.ts b/quint/src/parsing/ToIrListener.ts
@@ -19,13 +19,13 @@ import {
 } from '../ir/quintIr'
 import {
   ConcreteFixedRow,
+  QuintConstType,
   QuintSumType,
   QuintType,
   Row,
   RowField,
   isUnitType,
   unitType,
-  QuintConstType,
 } from '../ir/quintTypes'
 import { strict as assert } from 'assert'
 import { ErrorMessage, Loc } from './quintParserFrontend'

diff --git a/quint/src/types/builtinSignatures.ts b/quint/src/types/builtinSignatures.ts
@@ -13,7 +13,7 @@
  */
 
 import { parseTypeOrThrow } from './parser'
-import { sumType, typeNames } from '../ir/quintTypes'
+import { typeNames } from '../ir/quintTypes'
 import { Signature, TypeScheme } from './base'
 import { times } from 'lodash'
 import { QuintBuiltinOpcode } from '../ir/quintIr'

diff --git a/quint/src/util.ts b/quint/src/util.ts
@@ -14,7 +14,7 @@
 
 import JSONbig from 'json-bigint'
 import lodash from 'lodash'
-import { Maybe, just, none } from '@sweet-monads/maybe'
+import { Maybe, none } from '@sweet-monads/maybe'
 
 /** Add this at the end of a switch statement or if/then sequence to enforce exhaustiveness checking
  *

diff --git a/quint/test/types/inferrer.test.ts b/quint/test/types/inferrer.test.ts
@@ -4,7 +4,6 @@ import { TypeInferenceResult, TypeInferrer } from '../../src/types/inferrer'
 import { typeSchemeToString } from '../../src/types/printing'
 import { errorTreeToString } from '../../src/errorTree'
 import { parseMockedModule } from '../util'
-import { moduleToString } from '../../src'
 
 describe('inferTypes', () => {
   function inferTypesForDefs(defs: string[]): TypeInferenceResult {