> Marking fixed stack size (and maybe even with an actual bound) would be helpful to ensure the tail-call optimisation is being done. Yeah, it seems like a pre

> Marking fixed stack size (and maybe even with an actual bound) would be helpful to ensure the tail-call optimisation is being done. Yeah, it seems like a pretty easy feature to add. The compiler can pretty easily calculate the maximum stack size for every (bounded) call stack. It seems super useful to compute & expose that information - especially for embedded devices.