Correct normalizations - Githubissues

drym-org / qi

An embeddable flow-oriented language.

58 stars 12 forks source link

Closed countvajhula closed 8 months ago

countvajhula commented 8 months ago

Address review by @benknoble on the compiler PR re: the soundness of normalizations.

[x] In contributing, I relinquish any copyright claims on my contribution and freely release it into the public domain in the simple hope that it will provide value.

benknoble commented 8 months ago

If I have time today I'll confirm this fixes my AoC tests.

countvajhula commented 8 months ago

Thanks for verifying!

countvajhula commented 8 months ago

There were a few compiler tests that were failing for the old rules. I guess this proves that our compiler tests are working 😄