Re: Stream_io / records with default discriminants

["Nick Roberts" <Nick.Roberts@dial.pipex.com>]

robert_dewar@my-dejanews.com wrote in message
<7a873a$kon$1@nnrp1.dejanews.com>...
|In article <7a7fbd$t50$1@plug.news.pipex.net>,
|  "Nick Roberts" <Nick.Roberts@dial.pipex.com> wrote:
|> Bernd,
|>
|> I think your problem is this: when you declare
|> Test_Record1, it is constrained but not initialised.
|
|This is completely wrong,

Robert (and Bernd in an e-mail) is absolutely right. Test_Record_1 is
initialised. My apologies.

|I am not sure why Nick is getting
|so confused over this. Of course it is initialized, why
|would you ever think it wasn't?

Eyesight's going ;-) I simply didn't see the ":= 1" initialisation.

Maybe it is an implementation problem. Bernd, you might like to try using

   with Ada.Exceptions; use Ada.Exceptions;

and then

            exception
                when Eof =>
                    Text_Io.Put_Line ("EoF!");
                    exit;
                when Error: Constraint_Error =>
                    Text_IO.Put_Line(Exception_Information(Error));
                    exit; -- maybe
            end;

in order to get some more information on what the compiler thinks is wrong.

Also, I have an RM95 question: where, in the RM, does it say that a
component_definition must be definite? (Or does it not have to be
definite?!)

Again, my apologies for any confusion.


-------------------------------------
Nick Roberts

'The time has come,' the Walrus said,
  'To talk of many things:
Of shoes--of ships--and sealing wax--
  Of cabbages--and kings--
And why the sea is boiling hot--
  And whether pigs have wings.'
                        Lewis Carroll
          "Through the Looking Glass"
-------------------------------------