[m-rev.] diff: deprecate procedures that use the "_det" suffix

[Mark Brown]

Hi,

On 10-May-2011, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>
> Branches: main
>
> Mark procedures whose names use the suffix "_det" to indicate that the 
> procedure
> is a det version of a semidet procedure of the same name (modulo the 
> suffix) as
> obsolete.  The versions that use "det_" as a prefix should be used instead.

Can you wait a couple of months before deprecating the old versions?
At the moment G12 fails to compile because it uses index1_det, but if
I update this to use det_index1 it won't compile for developers who
haven't upgraded their Mercury install yet.

Cheers,
Mark.

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------