search

egraphs-good / egglog

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

[Proposal] Disallow shadowing between let bindings and constructors. #329

Open oflatt opened 8 months ago

oflatt commented 8 months ago

I think we should disallow shadowing between let bindings and constructors, since it is a source of confusion.

As a side-effect, generated code will be cleaner when we desugar global let-bindings to use functions instead.

oflatt commented 1 month ago

We've decided to implement this issue