[mercury-users] basename

[Fergus Henderson]

On 19-May-2003, Michael Day <mikeday at yeslogic.com> wrote:
> 
> dir.basename("c:\foo\bar") = "c:\foo\bar"
> 
> I believe the output should be "bar".

On systems which use Unix paths (including Cygwin), the output shown
above is correct.

On systems which use Windows paths, e.g. the Mingw port of Mercury,
you are right that the output should be "bar".  The "dir" module has
just not yet been ported to give the correct answers on such systems.
Patches welcome...

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------