From: Shark8 <onewingedshark@gmail.com>
Subject: Re: Odd subtyping error.
Date: Fri, 5 Oct 2012 15:19:56 -0700 (PDT)
Date: 2012-10-05T15:19:56-07:00 [thread overview]
Message-ID: <0135d0d3-3dd3-4b75-a639-76cf93975eb2@googlegroups.com> (raw)
In-Reply-To: <da9d858a-19d2-4135-ae61-cb709418dc6c@googlegroups.com>
On Friday, October 5, 2012 4:11:06 PM UTC-6, Adam Beneschan wrote:
>
> Ah, "the rest of the story"! The size clause isn't the problem. The problem is that referring to Item_2 and Item_4 in the declaration of Derived_Type freezes Base_Type, and you can't add any more representation information after that. That makes "For Base_Type Use ..." illegal. If the error messages in your original case pointed you to the wrong line numbers, that's something you can complain to the GNAT folks about. But the error is legitimate, at least in your reduced source.
Hm, why does it force freezing?
Is there a way to force defferment, or flag that there will be a representation-clause, maybe with an aspect clause " with Representation, Size => Enum'Size"
next prev parent reply other threads:[~2012-10-05 22:19 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-10-05 16:05 Odd subtyping error Shark8
2012-10-05 18:12 ` Niklas Holsti
2012-10-05 18:44 ` Adam Beneschan
2012-10-05 21:08 ` Shark8
2012-10-05 21:00 ` Shark8
2012-10-05 22:11 ` Adam Beneschan
2012-10-05 22:19 ` Shark8 [this message]
2012-10-06 3:08 ` Adam Beneschan
2012-10-06 4:40 ` Shark8
2012-10-06 21:21 ` sbelmont700
2012-10-06 22:08 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox