comp.lang.ada
 help / color / mirror / Atom feed
From: Ted Dennison <dennison@telepath.com>
Subject: Re: allocators for classwide types?
Date: 1999/12/28
Date: 1999-12-28T00:00:00+00:00	[thread overview]
Message-ID: <3868E1B4.D5F6A23C@telepath.com> (raw)
In-Reply-To: wcciu1j18dx.fsf@world.std.com

Robert A Duff wrote:

> Ted Dennison <dennison@telepath.com> writes:
>
> > I have a situation where I'd like to create a convienence routine that
> > takes in two objects of classwide types, allocates objects of the
> > appropriate type with a copy of those parameter values, then puts both
> > objects in a record which gets returned to the user.
>
> Your code looks OK to me.

Hmm. Apparently it is. I tried expanding my toy example into a compilable
system, and Gnat had no trouble with it.


> > Gnat actually generates a compiler error on my variant of this. ...
>
> You should post the text of the message.

It was an internal Gnat error. That's obviously a bug, of course. But 95% of
the time those are caused by my doing something illegal in a way that the
compiler didn't expect. It looks like in this case I may have been doing
something *legal* in a way the compiler didn't expect.

I guess the right thing to do would be to try and expand my toy example to
reproduce the bug, then submit it to ACT. That's not exactly how I wanted to
spend my coding time on my vacation, but I guess if I always got what I wanted
this would be a scary world indeed...

--
T.E.D.

Home - mailto:dennison@telepath.com
WWW  - http://www.telepath.com/dennison/Ted/TED.html






  reply	other threads:[~1999-12-28  0:00 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-12-28  0:00 allocators for classwide types? Ted Dennison
1999-12-28  0:00 ` Robert A Duff
1999-12-28  0:00   ` Ted Dennison [this message]
1999-12-28  0:00     ` Ted Dennison
2000-01-06  0:00       ` Robert A Duff
2000-01-07  0:00         ` Robert Dewar
replies disabled

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