search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Remove tuple-ith, just use `Get` #443

Closed oflatt closed 7 months ago

oflatt commented 7 months ago

This PR removes tuple-ith, since with linearity issues resolved (soon) we can use Get instead. This revealed an issue in saturating context rules, but only in tests. It turns out that adding infinite nestings of contexts, even if they are the same one, can result in the context rules not saturating (InLoop refers to a body, which may already have context).

oflatt commented 7 months ago

Yeah Ensuring saturation when you can keep making new contexts each iterations has been really painful, I'd like to return to the problem sometime