Thank you Marjin, that looks nice.<br>Laurent<br><br><div class="gmail_quote">On Wed, Aug 31, 2011 at 11:46, Marijn <span dir="ltr">&lt;<a href="mailto:hkBst@gentoo.org">hkBst@gentoo.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

Hi Laurent,<br>
<div class="im"><br>
On 08/30/11 09:18, Laurent wrote:<br>
&gt; Thank you very much for this nice intermediate solution, though I need<br>
&gt; constant-time append, split, insert, remove, + pointers to items, etc.<br>
&gt; Mutation does seem unavoidable, right.<br>
<br>
</div>I implemented a doubly-linked list, not so long ago, connected to a GUI<br>
that can insert and delete items and saw no way to make the list<br>
functional with multiple simultaneous editors in the GUI. The<br>
implementation is as a straightforward cyclical doubly-linked list. I<br>
toyed with the idea of having a separate handle object to represent the<br>
list versus just the nodes, and there are some rudiments of that left in<br>
the code, but in the end the user code uses a special &#39;top element to<br>
indicate where the cyclical list is supposed to start.<br>
<br>
Good luck,<br>
<font color="#888888"><br>
Marijn<br>
</font></blockquote></div><br>