comp.lang.ada
 help / color / mirror / Atom feed
From: "Christoph Karl Walter Grein" <AdaMagica@web.de>
To: comp.lang.ada@ada-france.org
Subject: Re: Semantics of Inline vs non-Inline
Date: Thu, 21 Oct 2004 13:21:26 +0200
Date: 2004-10-21T13:21:26+02:00	[thread overview]
Message-ID: <mailman.43.1098357729.10401.comp.lang.ada@ada-france.org> (raw)

> > "Not supported" means: Upon execution of your program, it's undefined what
> > will happen.
> 
> I am right now grepping the RM, and this is just not true. The RM defines
> in dozens of places what should happen if something is "not supported".
> For example, applicable to this case:
> 
> "13/1 A representation or operational item that is not supported by the
> implementation is illegal, or raises an exception at run time."

OK, I stand corrected. But didn't you say your procedure, when inlined, produced
an exception (and worked when not inlined)?

Only if it didn't, you have a point against your compiler vendor and should push his nose to
this pragraph.
__________________________________________________________
Mit WEB.DE FreePhone mit hoechster Qualitaet ab 0 Ct./Min.
weltweit telefonieren! http://freephone.web.de/?mc=021201




             reply	other threads:[~2004-10-21 11:21 UTC|newest]

Thread overview: 26+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-10-21 11:21 Christoph Karl Walter Grein [this message]
2004-10-21 20:57 ` Semantics of Inline vs non-Inline Wojtek Narczynski
2004-10-22  0:46 ` skidmarks
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