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

Move 'type class exists' check to initialze()

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

7
src/checker.ts
View file

@ -1481,10 +1481,6 @@ export class Checker {
case SyntaxKind.InstanceDeclaration:
{
const cls = node.getScope().lookup(node.name.text, Symkind.Typeclass) as ClassDeclaration | null;
if (cls === null) {
this.diagnostics.add(new TypeclassNotFoundDiagnostic(node.name));
}
for (const element of node.elements) {
this.infer(element);
}
@ -2008,6 +2004,9 @@ export class Checker {
case SyntaxKind.InstanceDeclaration:
{
if (!this.classDecls.has(node.name.text)) {
this.diagnostics.add(new TypeclassNotFoundDiagnostic(node.name));
}
const env = node.typeEnv = new TypeEnv(parentEnv);
for (const element of node.elements) {
this.initialize(element, env);