4:41:24karloszi see a potential improvement for locall analysis
4:41:48karloszwe can treat let lambdas and assignment lambdas uniformly as contifiable functions
4:42:06karloszwhat the ML people call contification
4:42:35karloszinterestingly enough, a comment in locall analyze anticipates the contification papers by a few years
4:43:29karloszimplementing contification over some ad hoc let and tail call analyses would be a win
4:44:00karloszsee the comment in maybe-convert-assignment headed with ###
4:44:48karloszits always an optimization to rewire local functions that are always called with the same continuation, so we can just do that instead of splitting up into the cases of let convert and assignment lambdas
4:45:11karloszalthough the comments in the cmucl design doc and the comments in locall suggest that let-converted functions are still somehow special
4:45:53karloszcould just try to get rid of assignment lambdas altogether and try to unify them with let lambdas with contification and get rid of special casing for tail recursive calls
5:11:36karloszanyone have the load-xc stuff working?