GC for pure functions -- implementation ideas

[Kagamin]

Steven Schveighoffer Wrote:

> Wouldn't the linker have to verify that the escapes are valid when linking  
> objects together?  I admit I don't know much about the object format and  
> linking process, but I assumed that the linker had to be involved in  
> enforcement of escape analysis.

If it doesn't, it's not a big deal, I think. One usually does things in the right order. This is better solved by a build tool, and integration of compiler into a build tool may be a good idea. After all, some of them already use the compiler to infer dependencies.