Re: Elaboration order

[dewar@cs.nyu.edu (Robert Dewar)]

Bob said:

"Unfortunately, I've had a great deal of trouble using Preelaborate and
Pure, because I always find myself wanting to put in some debugging
print-outs, and saying "with" of an I/O package poisons everything so I
can't use Preelab or Pure.  And there's no telling when you're going to
need a debugging print out.  And it's kind of a pain if you have to
*remove* a pragma Preelaborate during the process of finding one bug,
because that modification might introduce *another* bug, causing
confusion."

This is very true. There are two solutions in the GNAT world. First
for this particular case, you can use Gnat.IO instead of Text_IO,
since Gnat.IO is preelaborated (we are not alowed to make
Text_IO preelaborated).

Secondly, a more general, though more devious solution is the debugging
flag -gnatdu which turns off all dependency checking for categorization
pragmas :-)