[Ocaml-lib-devel] Re: VList

[Bardur A. <sp...@sc...>]

Bardur Arantsson wrote:
> Alain Frisch wrote:
  > I'm also pretty sure the current VList.map does produce a result with
> the correct ordering. The resulting VLists are created as in e.g.
> 
[--snip--]

Of course I screwed up the indexes... that should have been

         |-------| --> |-------| --> |-------| -> (NIL)
         | l'[2] |     | l'[4] |     | l'[5] |
         | l'[1] |     | l'[3] |
    l -> | l'[0] |
         | ..... |

-- 
Bardur Arantsson
<ba...@im...>
<ba...@sc...>

... and that proves the base case. One down, infinitely many to
go.