egraphs-good / egglog

egraphs + datalog!
https://egraphs-good.github.io/egglog/
MIT License
443 stars 51 forks source link

Typechecker tests for variable shadowing #330

Open oflatt opened 9 months ago

oflatt commented 9 months ago

The local-global test actually currently fails, but passes on #320