search

egraphs-good / egglog

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

Tests for typechecker #327

Open oflatt opened 8 months ago

oflatt commented 8 months ago

We have basically no tests for the typechecker, and we should fix that. We should pay special attention to (vec-of), containers in general, and be sure to check both actions and queries and globals.