egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Add live outputs from the loop tail to the loop params #577

Closed ezrosent closed 5 months ago

ezrosent commented 6 months ago

Added a test that goes from failing to passing with this change. In this case the ans variable is overwritten in the loop body but it is still used outside so it needs to be given an input and output.

Note that for variables that are truly unbound at this point we may have to add a placeholder variable to get them working.