search

JuliaSymbolics / Metatheory.jl

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
https://juliasymbolics.github.io/Metatheory.jl/dev/
MIT License
356 stars 47 forks source link

One-line change to fix error message #152

Closed kylebd99 closed 1 year ago

kylebd99 commented 1 year ago

This was causing me an issue when attempting to use dynamic rules. I'm fairly sure that the eclass variable was intended to be instantiated outside of the if-block.

willow-ahrens commented 1 year ago

@0x0f0f0f, if it's not too much trouble, could you push a patch release for this?

0x0f0f0f commented 1 year ago

@0x0f0f0f, if it's not too much trouble, could you push a patch release for this?

Sure! Using MT in any of your projects?

0x0f0f0f commented 1 year ago

@0x0f0f0f, if it's not too much trouble, could you push a patch release for this?

Sure! Using MT in any of your projects? Just curious

willow-ahrens commented 1 year ago

I'm considering it, yes! I'm trying to figure out if E-graphs will simplify my current approach to bounds analysis in Finch.jl, so I've been trying it out on a feature branch.