Fix queries with no variables firing without checking query

egraphs-good / egglog

egraphs + datalog!

https://egraphs-good.github.io/egglog/

MIT License

417 stars 46 forks source link

Fix queries with no variables firing without checking query #344

Closed oflatt closed 7 months ago

oflatt commented 7 months ago

Fixes #343, which demonstrated that queries without variables always match. This PR fixes it by handling the edge case, also adding a SearchResult abstraction.