Oliver Bandel wrote:

> But possibly it's not different to other basename-implementations.

Which is exactly what I said later in my email.

> Looking at that documentation, I can't see no bug in the implementation.

Your documentation documents the Ocaml function. 

> When you want to know how your car's GPS-navigation system works,
> do you look in the documentation of your video-camera or vacuum-cleaner?

We are not talking about GPS systems or video cameras or vacuum cleaners,
but if you want we can continue; I would be complaining if I was sold
a video camera that didn't record video but did suck a lot of air.

The function is called basename just like the IEEE Std 1003.1 standard
function specified by The Open Group:

    http://www.opengroup.org/onlinepubs/000095399/functions/basename.html

In the examples section of that document they give these examples:

    Input String    Output String
    "/usr/lib"      "lib"
    "/usr/"         "usr"

Erik
-- 
-----------------------------------------------------------------
Erik de Castro Lopo
-----------------------------------------------------------------
"Who would have believed that reading and writing would pay
off?"  -- Homer Simpson