Clean up how we add candidates from recexprs

uwplse / ruler

Rewrite Rule Inference Using Equality Saturation

https://dl.acm.org/doi/10.1145/3485496

MIT License

118 stars 9 forks source link

Clean up how we add candidates from recexprs #183

Closed ajpal closed 1 year ago

ajpal commented 1 year ago

this fixes the bug @oflatt found and also consolidates this logic in one place so we won't have to change it in multiple places again if there's a bug.