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

Fix assignment of type to a type expression in checker.ts

Browse source
This commit is contained in:
Sam Vervaeck 2022-09-19 14:06:12 +02:00
parent 6af1fabb88
commit 4fed500ea3
1 changed files with 12 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
src/checker.ts
View file

@ -1572,16 +1572,17 @@ export class Checker {
const scheme = this.lookup(node, Symkind.Type); const scheme = this.lookup(node, Symkind.Type);
if (scheme === null) { if (scheme === null) {
// this.diagnostics.add(new BindingNotFoudDiagnostic(node.name.text, node.name)); // this.diagnostics.add(new BindingNotFoudDiagnostic(node.name.text, node.name));
return this.createTypeVar(); type = this.createTypeVar();
} else {
type = this.instantiate(scheme, node.name);
// It is not guaranteed that `type` is copied during instantiation,
// so the following check ensures that we really are holding a copy
// that we can mutate.
if (type === scheme.type) {
type = type.shallowClone();
}
type.node = node;
} }
type = this.instantiate(scheme, node.name);
// It is not guaranteed that `type` is copied during instantiation,
// so the following check ensures that we really are holding a copy
// that we can mutate.
if (type === scheme.type) {
type = type.shallowClone();
}
type.node = node;
break; break;
} }
@ -1592,7 +1593,8 @@ export class Checker {
} }
case SyntaxKind.NestedTypeExpression: case SyntaxKind.NestedTypeExpression:
return this.inferTypeExpression(node.typeExpr, introduceTypeVars); type = this.inferTypeExpression(node.typeExpr, introduceTypeVars);
break;
case SyntaxKind.VarTypeExpression: case SyntaxKind.VarTypeExpression:
{ {