comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@gnat.com (Robert Dewar)
Subject: Re: Ada.Task_Identification.Abort_Task (Environment_Task) ;
Date: 24 Jul 2002 17:43:41 -0700
Date: 2002-07-25T00:43:42+00:00	[thread overview]
Message-ID: <5ee5b646.0207241643.b3fd9e0@posting.google.com> (raw)
In-Reply-To: ahjk4d$5t5$1@nh.pace.co.uk

"Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org> wrote in message news:<ahjk4d$5t5$1@nh.pace.co.uk>...
> Why don't the
> "terminate" alternatives work? You tell me.

No, you tell us why you think that terminate would do
something useful in this situation. I have no idea why
you would think this. Use the definition of terminate
in the RM to answer, not some vague intuition of what
it might mean.

Or perhaps you should write the exact code you have in
mind that does not "work". You postulate a compiler bug,
but I would be willing to bet this is a programmer misunderstanding!



  parent reply	other threads:[~2002-07-25  0:43 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-07-12 17:13 Ada.Task_Identification.Abort_Task (Environment_Task) ; Marin David Condic
2002-07-13 13:45 ` Simon Wright
2002-07-13 22:12   ` Robert Dewar
2002-07-13 14:12 ` Robert A Duff
2002-07-15 12:52   ` Marin David Condic
2002-07-15 23:31     ` tmoran
2002-07-18 21:32     ` Robert A Duff
2002-07-19 12:55       ` Marin David Condic
2002-07-20 17:18         ` Robert A Duff
2002-07-22 12:53           ` Marin David Condic
2002-07-23  6:08             ` tmoran
2002-07-23 13:02               ` Marin David Condic
2002-07-24  8:34                 ` Lutz Donnerhacke
2002-07-24 13:58                   ` Marin David Condic
2002-07-24  8:35                 ` Fabien Garcia
2002-07-24 23:20                 ` Dmitry A.Kazakov
2002-07-25  0:43                 ` Robert Dewar [this message]
2002-07-25  1:04                 ` tmoran
2002-07-16 20:43 ` Simon Wright
replies disabled

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