Jonas Maebe schrieb: > > On 07 Oct 2009, at 17:39, Jürgen Hestermann wrote: > >> And I don't know any other Pascal Compiler who does any checks in this >> direction. Do some? > > I don't know, but ADA reportedly does. Such a feature definitely seems > useful to me. Afaik GPC does as well?