egraphs-good / egglog

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

`fail-typecheck` doesn't actually check for type error, just any error #328

Open oflatt opened 9 months ago

oflatt commented 9 months ago

The typechecker tests in tests/fail-typecheck we have don't check for an actual type error, just any error. It would be nice if they also checked for a specific kind of error, maybe using a comment at the top of the file.