[mercury-users] basename

[Simon Taylor]

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".

dir.m doesn't support Windows paths.
I've been working on a change to fix this.

Simon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------