Recursive functions and constant parameter closures (inlining/strictness analyzer question)

[Isaac Dupree]

there's no chance for the lower-level near code generation to 
reverse-SAT to eliminate the heap usage? (which would obviously be a 
different optimization that might be useful in other ways too, if it 
could be made to work) (did someone say that -fvia-C with gcc -O3 
managed to do that sometimes?)

just an underinformed thought,
-Isaac