comp.lang.ada
 help / color / mirror / Atom feed
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: variant record and pointer
Date: 02 May 2003 13:44:46 -0400
Date: 2003-05-02T13:44:46-04:00	[thread overview]
Message-ID: <wccbrylqm41.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 67ac8b2c.0305020925.6c27576d@posting.google.com

Manu-CSS@gmx.de (Noivet) writes:

> s.side := 10;   <------ and I wondered that the compiler compiled
> successfully!
>                         I expected a conflict, but there isn't.
>                         is there something wrong with my declaration
> of the pointer type? or can someone explain me that?

There is a run-time check.  In general, the compiler can't know the
discriminant of s at compile time.

If you turn on warnings, a good compiler might warn, in some cases.
But in general, you have to run the program and trip over a
Constraint_Error.

- Bob



  reply	other threads:[~2003-05-02 17:44 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-05-02 17:25 variant record and pointer Noivet
2003-05-02 17:44 ` Robert A Duff [this message]
2003-05-02 19:00 ` Frank J. Lhota
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox