2 ms·

If f1 calls f2 that calls f1 why can't the compiler inline f2 into the body of f1? It's not so complicated if the compiler has annotations or other hints to gui

If f1 calls f2 that calls f1 why can't the compiler inline f2 into the body of f1? It's not so complicated if the compiler has annotations or other hints to guide it.

samatman 4y ago
I once wrote an interpreter in continuation-passing style, meaning every final line of a function called the next function in the interpreter, passing a continuation and error continuation on. Such a program never returns until it finishes interpreting, and can make an unlimited number of such calls. This is a bad idea without TCE.
- bjourne 4y ago
  Why couldn't the compiler inline the whole interpreter?
  - samatman 4y ago
    Because in the continuation-passing style, the functions-calling-functions are circular in many places, inlining would explode rather than halting.