comp.lang.ada
 help / color / mirror / Atom feed
From: aschwarz@acm.org (skidmarks)
Subject: Re: Semantics of Inline vs non-Inline
Date: 21 Oct 2004 17:46:42 -0700
Date: 2004-10-21T17:46:42-07:00	[thread overview]
Message-ID: <35f054ea.0410211646.6e9fd569@posting.google.com> (raw)
In-Reply-To: mailman.43.1098357729.10401.comp.lang.ada@ada-france.org

"Christoph Karl Walter Grein" <AdaMagica@web.de> wrote in message news:<mailman.43.1098357729.10401.comp.lang.ada@ada-france.org>...

> Only if it didn't, you have a point against your compiler vendor and should push his nose to
> this pragraph.

Two points:
1. A warning message was issued stating that a 'null' value would
   be substituted for the input address, and
2. At run-time, the error was caught with Windows not Ada.

here has been mention that for the case at point, the compiler is not
correct (both 1. and 2. are erroneous) and also that the compiler is
correct (1. is correct and 2. is erroneous).

For respondents not literate in the LRM but, nonetheless trying to
produce a product, the feeling is that 1. and 2. are erroneous. This
includes myself.

art



  parent reply	other threads:[~2004-10-22  0:46 UTC|newest]

Thread overview: 26+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-10-21 11:21 Semantics of Inline vs non-Inline Christoph Karl Walter Grein
2004-10-21 20:57 ` Wojtek Narczynski
2004-10-22  0:46 ` skidmarks [this message]
2004-10-22  5:50   ` Simon Wright
2004-10-22 12:57     ` Wojtek Narczynski
  -- strict thread matches above, loose matches on Subject: below --
2004-10-21  5:07 Christoph Karl Walter Grein
2004-10-21 10:24 ` Wojtek Narczynski
2004-10-18  6:29 Christoph Karl Walter Grein
2004-10-20 15:07 ` Wojtek Narczynski
2004-10-15  6:18 Christoph Karl Walter Grein
2004-10-15 11:02 ` Wojtek Narczynski
     [not found] <35f054ea.0410140733.5f250e6f@posting.google.com>
2004-10-14 16:14 ` Wojtek Narczynski
2004-10-14 20:05   ` Arthur Schwarz
2004-10-15 10:24     ` Wojtek Narczynski
2004-10-15 16:32       ` Arthur Schwarz
2004-10-14 17:58 ` Martin Krischik
2004-10-15  0:49   ` Arthur Schwarz
2004-10-15  8:05     ` Martin Krischik
2004-10-15 16:39       ` Arthur Schwarz
2004-10-15 16:40       ` Arthur Schwarz
2004-10-15 16:40       ` Arthur Schwarz
2004-10-15 16:45       ` skidmarks
2004-10-15  3:40 ` Steve
2004-10-15  5:50 ` Simon Wright
2004-10-15 16:57   ` skidmarks
2004-10-18 17:01 ` skidmarks
replies disabled

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