[mercury-users] basename

[William Lee Irwin III]

On Mon, May 19, 2003 at 01:02:58PM +1000, Michael Day wrote:
> dir.basename("c:\foo\bar") = "c:\foo\bar"
> I believe the output should be "bar".

Why? It's just an ordinary path component with '\f', '\b', and ':' in
it. =)


-- wli
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------