Preben Randhol wrote:
> I guess one could use the argumentation to say that the lack of unsafe
> pointers in Ada is also an "unfortunate limitation"?

But Ada _has_ unsafe pointers, hasn't it?

In my mind, the suggestions given for avoiding circular specification
dependencies are more cumbersome and unsafe than the
circularity itself. I would really like to see more detailed arguments
against allowing circular dependencies.

That said, I would agree that they should be avoided whenever
possible, in the same way that goto, unchecked_* and others
should be avoided.

/Peter H.
--
Peter Hend�n           http://www.algonet.se/~phenden
ICQ: 14672398
Teknisk Dokumentation AB          http://www.tdab.com