search

egraphs-good / egglog

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

Type errors for `set` not captured by the current type checker #310

Open yihozhang opened 7 months ago

yihozhang commented 7 months ago

(set (+ 1 2) 3) currently produced an error only when lowering to programs, which is after type checking.

Found this while doing the refactoring.

yihozhang commented 3 months ago

Update: Fixed by #211; We can close this once we have a test for this in.