search

egraphs-good / egglog

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

Extract to string, and panic using it #340

Open oflatt opened 7 months ago

oflatt commented 7 months ago

We have added panic to the language, which is quite useful. Unfortunately it uses a static string right now, so good error messages from egglog rules are impossible. We should be able to extract to a string and add it to the error message.