Re: List container strawman 1.3

[John English <je@brighton.ac.uk>]

Ted Dennison wrote:
> 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.

Why does the iterator type need to be controlled? What's your mental
model of what an iterator consists of? Mine generally says that an
iterator contains a couple of pointers to a list somewhere else,
but that the iterators aren't responsible for deallocating that
list... is this something caused by the safe iterator requirement
perhaps? (Which I disagree with, incidentally... safe iterators
can probably be built on top of unsafe ones, but starting with
safe ones means a lot of possibly unnecessary overhead.)

-----------------------------------------------------------------
 John English              | mailto:je@brighton.ac.uk
 Senior Lecturer           | http://www.comp.it.bton.ac.uk/je
 Dept. of Computing        | ** NON-PROFIT CD FOR CS STUDENTS **
 University of Brighton    |    -- see http://burks.bton.ac.uk
-----------------------------------------------------------------