Re: Imitation is the sincerest form of flattery

["AG" <ang@xtra.co.nz>]

"Vinzent Hoefler" <ada.rocks@jlfencey.com> wrote in message
news:b5ilma$27ungi$1@ID-175126.news.dfncis.de...
"AG" <ang@xtra.co.nz> wrote:

[arrays with index "holes"]
>Do you mean implemented by hand as an application code or
>supported by the language? If later, I would be interested in
>a reference please.

|type Enum is (One, Five, Six);
|for Enum use (One => 1, Five => 5, Six => 6);
|
|type Lookup is array(Enum'Range) of ...

Something like that?

Well, no. Of course not. That's representation
clauses. I believe there were some threads in
this NG before about rep clauses for enums
being next to useless but that's not the point
in this case What I had in mind would be
something like:

[Somewhere in package spec:]

type x is limited private;
type y is array(x) of x;

-- Of, course, need to provide operations on x here:

"+"
"-"
'range

etc

Implementing them may be trivial or not.
But it's neither here nor there - can't
do the first part of the declaration anyway.