vilterp/datalog-ts

Issues

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

  #407 opened a year ago by vilterp
  1

• vscode datalog: "missing attribute" problems missing

  #393 opened a year ago by vilterp
  0

• vscode: grammar editing broken

  #388 opened a year ago by vilterp
  0

• vscode: attribute completions broken

  #382 opened a year ago by vilterp
  0

• LWB datalog: native implementation misses variables in nested records

  #317 opened a year ago by vilterp
  0

• Look at very similar Prolog/Datalog-based project Makam

  #374 opened a year ago by safinaskar
  0

• `graphviz` visualization broken because react-graphviz dep removed

  #231 opened 2 years ago by vilterp
  2

• LWB: shadowing not handled correctly

  #95 opened 3 years ago by vilterp
  0

• core: constructing a record in head can give different results in calling rule vs when it's bound as one var

  #160 opened 2 years ago by vilterp
  0

• LWB: duplicate completion items

  #292 opened 2 years ago by vilterp
  0

• Errors in console; AST & scope graph not shown

  #230 opened 2 years ago by infogulch
  4

• explorer: rules using virtual relations log errors to console

  #243 opened 2 years ago by vilterp
  0

• re-enable virtual tables

  #131 opened 3 years ago by vilterp
  0

• LWB: highlight vars grey if they're not used

  #166 opened 2 years ago by vilterp
  0

• LWB: datalog and example editor out of sync

  #232 opened 2 years ago by vilterp
  0

• deletion syntax

  #218 opened 2 years ago by vilterp
  1

• `stringChar` not rendering properly

  #152 opened 2 years ago by vilterp
  1

• LWB DL: highlighting for inner variables

  #159 opened 2 years ago by vilterp
  0

• simple interpreter: variables not declared in head can still have bindings

  #88 opened 3 years ago by vilterp
  1

• renaming broken for FP

  #158 opened 2 years ago by vilterp
  1

• scrolling messed up in editor

  #96 opened 2 years ago by vilterp
  1

• LWB FP: support functions with more than one argument

  #156 opened 2 years ago by vilterp
  0

• highlighting one usage doesn't highlight other usages

  #93 opened 2 years ago by vilterp
  1

• ide.RenameCandidate should be based on scope.Defn, not scope.Usage

  #133 opened 2 years ago by vilterp
  0

• FP, basic blocks: vars in scope where they're being defined

  #92 opened 3 years ago by vilterp
  0

• Some similar ideas

  #5 opened 4 years ago by jpmonettas
  3