From: Ted Dennison <dennison@telepath.com>
Subject: Re: Controlled types in local generics?
Date: 1999/12/30
Date: 1999-12-30T00:00:00+00:00 [thread overview]
Message-ID: <386BB2E1.65D75D9A@telepath.com> (raw)
In-Reply-To: 386BA7E4.6971F246@maths.unine.ch
Gautier wrote:
> > Well perhaps, but really it would serve no purpose except to
> > confirm that the error message is correct. Perhaps you would
> > be more willing to believe it if you read it in the RM than
> > when GNAT tells you clearly :-)
>
> People need strong religious references.
Well, in my case I was just hoping for some kind of context to help me
understand the restriction. That way I might be able to see some kind of
work-around, or at least better understand a seemingly arbitrary
limitation.
But you should know that it is not polite to mock other people's
religous beliefs. Particularly not a religion as noble and beautiful as
LRMism.
...heretic.
:-)
--
T.E.D.
Home - mailto:dennison@telepath.com Work - mailto:dennison@ssd.fsi.com
WWW - http://www.telepath.com/dennison/Ted/TED.html ICQ - 10545591
next prev parent reply other threads:[~1999-12-30 0:00 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-12-30 0:00 Controlled types in local generics? Ted Dennison
1999-12-30 0:00 ` Robert Dewar
1999-12-30 0:00 ` Ted Dennison
1999-12-31 0:00 ` Robert Dewar
1999-12-31 0:00 ` Ted Dennison
1999-12-30 0:00 ` Mats Weber
1999-12-30 0:00 ` Ted Dennison
1999-12-30 0:00 ` Robert Dewar
1999-12-30 0:00 ` Florian Weimer
1999-12-30 0:00 ` Robert Dewar
1999-12-30 0:00 ` Gautier
1999-12-30 0:00 ` Ted Dennison [this message]
1999-12-30 0:00 ` 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