From: dewar@gnat.com (Robert Dewar)
Subject: Re: what means the " ' " in use with a record type?
Date: 26 Aug 2002 13:43:51 -0700
Date: 2002-08-26T20:43:51+00:00 [thread overview]
Message-ID: <5ee5b646.0208261243.776ef21c@posting.google.com> (raw)
In-Reply-To: Qnfa9.31$O%2.4390056@newssvr14.news.prodigy.com
tmoran@acm.org wrote in message news:<Qnfa9.31$O%2.4390056@newssvr14.news.prodigy.com>...
> > if Node were derived from N without any extensions, then x's value could
> > be of either Node or N.
> A qualified expression is normally only needed when there is an
> ambiguity like this and you need to tell the compiler which you mean.
> But in the case of allocators with initial value, you _always_ have to
> use a qualified expression, regardless of whether there's an ambiguity
> or not. Why the inconsistency? For documentation purposes?
No, it is because it is always ambiguous, given you are not allowed to look
inside the aggregate. I suppose you could have a rule that if there is only
one composite type ..... :-)
next prev parent reply other threads:[~2002-08-26 20:43 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <c923f575.0208231040.301add2@posting.google.com>
2002-08-23 20:16 ` what means the " ' " in use with a record type? tmoran
2002-08-24 13:19 ` Robert Dewar
2002-08-25 6:15 ` tmoran
2002-08-25 15:42 ` Ben Brosgol
2002-08-25 23:29 ` Steven Deller
2002-08-26 1:20 ` tmoran
2002-08-26 20:43 ` Robert Dewar [this message]
2002-08-26 20:41 ` Robert Dewar
2002-08-26 21:37 ` tmoran
2002-08-25 5:00 ` R. Tim Coslet
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox