Re: [Ocaml-lib-devel] Dllist

[Christophe T. <chr...@us...>]

On Thu, 26 May 2005, Brian Hurt <bh...@sp...> wrote:
> 
> On Wed, 25 May 2005, Christophe TROESTLER wrote:
> 
> > Hi,
> >
> > Is there a good reason (aside from implementation easiness) not to
> > allow Dllist to be empty?  IMHO, empty lists are very useful and it is
> > rather an hindrance that Dllists cannot be.
> 
> My original implementation did allow for empty lists, but it got 
> overridden.

Where?  The CVS version does not seem to allow it.  As an example,
consider:

# let l = create 1 in
    demote l;
    length l;;
- : int = 1

(hum).   How do you create an empty list?

ChriS