Currently, the interpreter for the tree-unique IR works on a rust enum Expr, not the s-expressions we type to write egglog tests. Unfortunately this means we can't run the interpreter on our tests, which would help a lot.
We should write a parser that converts to Expr so we can do so
Currently, the interpreter for the tree-unique IR works on a rust enum
Expr
, not the s-expressions we type to write egglog tests. Unfortunately this means we can't run the interpreter on our tests, which would help a lot. We should write a parser that converts toExpr
so we can do so