This slight hack should allow SRA to remove void function arguments. Unfortunately, I need working recursion on which to test that hypothesis.  This was the optimization that caused me to actually find that recursion bug.  One of the benefits doing this should have is that I can then dike a lot of SOLVED-ABSTRACTLY? checks out of the code generator, because I won't be afraid of emitting code to accept and produce void function arguments (since I can rely on SRA to remove it later).
This slight hack should allow SRA to remove void function arguments.
Unfortunately, I need working recursion on which to test that
hypothesis.  This was the optimization that caused me to actually find
that recursion bug.  One of the benefits doing this should have is
that I can then dike a lot of SOLVED-ABSTRACTLY? checks out of the
code generator, because I won't be afraid of emitting code to accept
and produce void function arguments (since I can rely on SRA to remove
it later).

axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language