Zitat von Markus E L <ls-ocaml-2006@m-e-leypold.de>:

>
> Oliver Bandel wrote:
>
> > It's more likely to assume that a shell (which shells did you use?
> > different shells might also bring different results)
>
> Not quite: Basename is an external command .
>
>    tmp/:$ which basename
>    /usr/bin/basename
[...]

Yes, that's correct.
But you could implement your own basename in a shell.
And in a typed shell you will have to.



>
> POSIX/Single Unix docuements it as having the same behaviour as the C
> function (actually it doesn't say so explicitely but both are
> described in different ways which boil down to the same behaviour).
>
> > is intended to offer the behaviour of the C-functions,
> > than to assume that OCaml re-implements the shell-behaviour.
>
> But basically I'm d'accord regarding that Filename.basename is just a
> different thing.
[...]

Otherwise, a planetary registering of function-/method-names
Should be done... never name a method or function the same way, others does..
Then we would have a global/planetary society of function-name registering.

Possibly we would name them like the regristration plate of cars. ;-)

Each function name must be uniqe, Polymorphism forbidden. ;-)

Ciao,
   Oliver