comp.lang.ada
 help / color / mirror / Atom feed
From: Shark8 <OneWingedShark@gmail.com>
Subject: Re: 'raise' in aspects?
Date: Thu, 23 Oct 2014 21:22:31 -0600
Date: 2014-10-23T21:22:31-06:00	[thread overview]
Message-ID: <VBj2w.11397$Wc4.9780@fx17.iad> (raw)
In-Reply-To: <m2c080$gb0$1@loke.gir.dk>

On 10/23/2014 4:42 PM, Randy Brukardt wrote:
> Indeed, we immediately noticed that it fixed one long-standing problem in
> Ada (the need to have a return statement in every function). You can write
>      raise Program_Error with "Not yet implemented";
> in any function (since a raise expression matches any type), and you don't
> have to dream up a useless dummy return value to do so.

That is nice!
(I didn't realize they were actually so generalized.)


  reply	other threads:[~2014-10-24  3:22 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-10-18 22:40 'raise' in aspects? Stephen Leake
2014-10-22  5:42 ` Simon Wright
2014-10-22  5:45   ` Simon Wright
2014-10-22 18:08 ` Stephen Leake
2014-10-23 22:42   ` Randy Brukardt
2014-10-24  3:22     ` Shark8 [this message]
2014-10-24  7:20     ` Simon Wright
2014-10-26  5:16       ` Randy Brukardt
replies disabled

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