Repository navigation

Unified: implement local scoping - #22120

Merged

tausbn merged 13 commits into

github:mainfrom

asgerf:unified/local-scoping

Jul 8, 2026

Merged

Unified: implement local scoping#22120
tausbn merged 13 commits into
github:mainfrom
asgerf:unified/local-scoping

Commits on Jul 1, 2026
- unified: Move Comments.ql into AstExtra.qll
  asgerf
  committed
  982f6a5
- unified: Add a few more AST helper classes
  asgerf
  committed
  970e991
- unified: Add local name binding and tests
  asgerf
  committed
  bced7bb
- unified: Add debug query for local scoping graph
  asgerf
  committed
  36b31a8
Commits on Jul 3, 2026
- Shared: remove unused getLhs() predicate
  asgerf
  committed
  d0cd4ac
- unified: Flatten GuardIfStmt into the enclosing block
  asgerf
  committed
  a86c7ba
- unified: Fix broken block syntax
  asgerf
  committed
  6ea146f
- unified: More fixes in test cases
  asgerf
  committed
  e7bff85
- unified: Add tests with 'while let'
  asgerf
  committed
  c8eb207
- unified: Add WhileStmt as a Conditional
  asgerf
  committed
  891e244
- unified: Support OrPattern bindings
  asgerf
  committed
  036ed04
- unified: Translate bare names in patterns correctly
  asgerf
  committed
  c23c3d9
- Apply suggestions from code review
  
  asgerf
  and
  Copilot
  authored
  bfb3ead