New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

vscode datalog: spurious 'unbound variable in head' errors when nested #407

Open

vilterp opened this issue Jun 25, 2023 · 1 comment

Labels

app:vscode-extension area:app-language-workbench language:dl

Owner

vilterp commented Jun 25, 2023

These errors shouldn't be there:

Not sure why this isn't finding them:

datalog-ts/languageWorkbench/languages/dl/dl.ts

Lines 68 to 71 in 4a79913

    
           function* scopeDefnHeadVar(db: NodesByRule, ruleName: string): Generator<Defn> { 
        
             for (const ruleID of ruleNameToID(db, ruleName)) { 
        
               for (const record of db.get("record").byParentID.get(ruleID)) { 
        
                 for (const recordVar of scopeRecordVar(db, record.id)) {

vilterp added area:app-language-workbench language:dl app:vscode-extension labels

Owner Author

vilterp commented Jun 25, 2023

Wait a sec, it's not even finding this?

wtf

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment