Re: List container strawman 1.3

[Ted Dennison<dennison@telepath.com>]

In article <DzdP7.48986$xS6.81471@www.newsranger.com>, Ted Dennison says...
>
>The latest (1.3) version of the list container strawman is available on my
>website at
>http://www.telepath.com/dennison/Ted/Containers-Lists-Unbounded.ads.html .

OK. I will say that right now I'm pretty satisfied with this version. However
there are two issues with it already. :-(

The first is this:
>The Splice routine was added to support moving list elements from one list to
>another efficiently. (Perhaps version with "from" and "to" iterators for the
>source list would be useful too?)

I think the "from" and "to" version may be nessecary.

The other issue is that this version won't actually compile as-is under Gnat.
(!) Every routine with both List and Iterator types complains that it can't
dispatch on both types. Frankly, I'm not sure I want it dispatching at all. I'd
think that since the user's view at this point is simply a private type, then
these routines would not be created as tagged primitives. 

Anyway, the only way I know to un-primitive a subprogram is to tack 'Class on
the end of the type. Gnat rejects that too, saying that 'Class only works on
tagged types. So first it says the types are tagged, then it says they aren't. I
sure wish it would make up its mind! :-)

Assuming these are valid errors, does anyone know how to fix this?

---
T.E.D.    homepage   - http://www.telepath.com/dennison/Ted/TED.html

No trees were killed in the sending of this message. 
However a large number of electrons were terribly inconvenienced.