drym-org / qi

An embeddable flow-oriented language.
58 stars 12 forks source link

More compiler tests #122

Closed countvajhula closed 9 months ago

countvajhula commented 9 months ago

Summary of Changes

This adds (failing) tests for deforestation of all permutations of templates, and also fixes an "anaphoric references" issue with compiling blanket templates in connection with bindings, which we had fixed a while back for compiling partial applications, but which we hadn't noticed also affects blanket templates. I added a failing test for this yesterday and this PR resolves that test by adding the fix. So now, all tests with make test-flow are passing again. This also adds a couple of tests to validate use of keyword arguments in templates.

Public Domain Dedication

(Why: The freely released, copyright-free work in this repository represents an investment in a better way of doing things called attribution-based economics. Attribution-based economics is based on the simple idea that we gain more by giving more, not by holding on to things that, truly, we could only create because we, in our turn, received from others. As it turns out, an economic system based on attribution -- where those who give more are more empowered -- is significantly more efficient than capitalism while also being stable and fair (unlike capitalism, on both counts), giving it transformative power to elevate the human condition and address the problems that face us today along with a host of others that have been intractable since the beginning. You can help make this a reality by releasing your work in the same way -- freely into the public domain in the simple hope of providing value. Learn more about attribution-based economics at drym.org, tell your friends, do your part.)