[m-rev.] diff: add dir.det_basename/1

[Mark Brown]

On 08-Feb-2006, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> 
> Estimated hours taken: 0.1
> Branches: main
> 
> library/dir.m:
> 	Add dir.det_basename/1 as a synonym for dir.basename_det/1.  The
> 	former is more consistent with (most of) the rest of the library where
> 	we use `det_' as a prefix.

It would be good to add these synonyms in all of the other places where
we have the suffix version, and add a NEWS entry.  Possibly 'obsolete'ing
the old versions might be a good idea.

Cheers,
Mark.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------