From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.2 required=5.0 tests=BAYES_00,FROM_WORDY,
	INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,336232e570812d9b
X-Google-Attributes: gid103376,public
From: "Nick Roberts" <Nick.Roberts@dial.pipex.com>
Subject: Re: Stream_io / records with default discriminants
Date: 1999/02/17
Message-ID: <7afc1n$3mi$1@plug.news.pipex.net>#1/1
X-Deja-AN: 445455828
References: <uEax0A$V#GA.231@nih2naaf.prod2.compuserve.com>
 <m3lni1b5i9.fsf@mheaney.ni.net>
 <#8nPq9DW#GA.131@nih2naac.prod2.compuserve.com>
 <7a7fbd$t50$1@plug.news.pipex.net> <7a873a$kon$1@nnrp1.dejanews.com>
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3
Organization: UUNET WorldCom server (post doesn't reflect views of UUNET
 WorldCom)
Newsgroups: comp.lang.ada
Date: 1999-02-17T00:00:00+00:00
List-Id: <comp.lang.ada>

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"
-------------------------------------