samvv/bolt
1
0
Fork 0
Code Issues 24 Pull requests Projects Releases Packages Wiki Activity Actions

Organize imports in checker.ts

Browse source
This commit is contained in:
Sam Vervaeck 2022-09-15 13:49:45 +02:00
parent 685ff3cf2d
commit 487e6d4994
1 changed files with 3 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/checker.ts
View file

@ -1,12 +1,10 @@
import { import {
EnumDeclaration, EnumDeclaration,
EnumDeclarationElement,
Expression, Expression,
LetDeclaration, LetDeclaration,
Pattern, Pattern,
Scope, Scope,
SourceFile, SourceFile,
StructDeclaration,
Symkind, Symkind,
Syntax, Syntax,
SyntaxKind, SyntaxKind,
@ -20,7 +18,7 @@ import {
FieldDoesNotExistDiagnostic, FieldDoesNotExistDiagnostic,
FieldMissingDiagnostic, FieldMissingDiagnostic,
UnificationFailedDiagnostic, UnificationFailedDiagnostic,
KindMismatchDiagnostic KindMismatchDiagnostic,
} from "./diagnostics"; } from "./diagnostics";
import { assert, isEmpty, MultiMap } from "./util"; import { assert, isEmpty, MultiMap } from "./util";
import { LabeledDirectedHashGraph, LabeledGraph, strongconnect } from "yagl" import { LabeledDirectedHashGraph, LabeledGraph, strongconnect } from "yagl"
@ -892,7 +890,7 @@ export class Checker {
} }
case SyntaxKind.AppTypeExpression: case SyntaxKind.AppTypeExpression:
{ {
let result = this.inferKindFromTypeExpression(node.operator, env);; let result = this.inferKindFromTypeExpression(node.operator, env);
for (const arg of node.args) { for (const arg of node.args) {
result = this.applyKind(result, this.inferKindFromTypeExpression(arg, env), node); result = this.applyKind(result, this.inferKindFromTypeExpression(arg, env), node);
} }