search

egraphs-good / egglog

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

Remove useless type_info getters #429

Closed Alex-Fischman closed 1 month ago

Alex-Fischman commented 1 month ago

This PR removes the type_info and type_info_mut from the EGraph struct, since having a mutable getter that doesn't do anything else doesn't make sense.

Happy to close this PR if there is a reason for these functions, but only if that reason is documented.