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

Fix minor indentation issue in checker.ts

Browse source
This commit is contained in:
Sam Vervaeck 2023-04-12 14:27:21 +02:00
parent 9c24ddb07e
commit f2ea45873c
Signed by: samvv
SSH key fingerprint: SHA256:dIg0ywU1OP+ZYifrYxy8c5esO72cIKB+4/9wkZj1VaY
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/checker.ts
View file

@ -1106,7 +1106,7 @@ export class Checker {
private createSubstitution(scheme: Scheme): TVSub { private createSubstitution(scheme: Scheme): TVSub {
const sub = new TVSub(); const sub = new TVSub();
const tvs = [...scheme.typeVars] const tvs = [...scheme.typeVars]
for (const tv of tvs) { for (const tv of tvs) {
sub.set(tv, this.createTypeVar()); sub.set(tv, this.createTypeVar());
} }
@ -2339,7 +2339,6 @@ export class Checker {
this.popContext(context); this.popContext(context);
this.solve(new CMany(constraints), this.solution); this.solve(new CMany(constraints), this.solution);
} }