Optimisation improvements
Just a list of other things which would be nice to have:
-
"Correctness" checking: After every transformation, ensure that the compiled source is "well formed". This should include: - Variables are in scope, unique, etc...
- Special forms are well formed.
This should only be enabled with a special flag.
-
declare
syntax to enable specific optimisation/warning passes for a specific block.