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

Remove dangling debug statement in checker.ts

Browse source
This commit is contained in:
Sam Vervaeck 2022-09-15 20:50:02 +02:00
parent 31e99fd8ba
commit 4939ee5e08
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/checker.ts
View file

@ -1542,7 +1542,6 @@ export class Checker {
env.add(varExpr.text, new Forall([], [], typeVar), Symkind.Type); env.add(varExpr.text, new Forall([], [], typeVar), Symkind.Type);
} }
const type = this.inferTypeExpression(node.typeExpression); const type = this.inferTypeExpression(node.typeExpression);
console.log(describeType(type));
this.popContext(context); this.popContext(context);
const scheme = new Forall(typeVars, constraints, TApp.build(type, kindArgs)); const scheme = new Forall(typeVars, constraints, TApp.build(type, kindArgs));
parentEnv.add(node.name.text, scheme, Symkind.Type); parentEnv.add(node.name.text, scheme, Symkind.Type);