Re: Type safety on wikipedia

["Alex R. Mosteo" <devnull@mailinator.com>]

Martin Krischik wrote:

> But then Ada is supposed to me GC - only the vendors are to lazy to add an
> collector.

This is something I've mused about sometimes: Let's suppose some Ada 
compiler goes ahead and provides a GC. What happens with programs 
written without taking this into account?

AFAIK, there's pragma Controlled (ARM 13.11.3) which /prevents/ 
collection (this is already curious, since it suggest to me that GC 
tends to be implemented by default). I have never used it, so, are all 
my types using unchecked deallocation potentially problematic? Would a 
compiler implementing GC suddenly start to give errors when 
instantiating UD for types without this pragma?

And what a curious name election? Talking about controlled types can 
refer to Finalization or to access types with this pragma applied.

Just curious.