Re: Representation item appears too late

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Vincent Marciante writes:
> How about:
>
> package A is
>
>    type Size is (Small, Large);
>
>    type Foo is range 1 .. 8;
>
>    package Base is
>       type T is record
[...]
>       end record;
>    end Base; 
>
>    type T is new Base.T;
>
>    procedure P (X : in T); -- a null procedure for the sake of example
>
> end A;

Yes, that makes P not primitive but it introduces two unnecessary
entities (Base and Base.T) in the spec of A and clutters it.  Not only
that but I'd also have to add comments explaining why I do things that
way: so that I can add a rep clause in an unrelated package.  As I
said, I think this would be even uglier than adding the rep clause
directly in A.

-- 
Ludovic Brenta.