Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Bug in Filename.basename?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-09-06 (10:00)
From: Oliver Bandel <oliver@f...>
Subject: Re: [Caml-list] Bug in Filename.basename?
Zitat von Markus E L <>:

> 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. ;-)