[m-dev.] proposal: extension to pragma obsolete

[Mark Brown]

On Wed, Sep 10, 2014 at 1:42 AM, Julien Fischer <jfischer at opturion.com> wrote:
>
> Hi Mark,
>
> On Tue, 9 Sep 2014, Mark Brown wrote:
>
>> Looking through a recent version of the library, there seems to be two
>> main cases for pragma obsolete: where a predicate or function is
>> replaced by something with identical semantics, and where it is
>> superseded by something with better semantics.
>
>
> Actually, there's one other case that sometimes occurs, although not in
> the current version of the library, and that's when we deprecate entire
> modules (bintree and bintree_set are recent-ish examples).  In that case
> you probably don't want to say anything about the predicates involved,
> but instead, for example, that uses of type 'foo' should be replaced by
> uses of type 'bar'.

Sure. These are just symbolic names, and all the proposals so far
could also apply to types or modules. There's still just two cases,
though: either the names mean the same thing or they don't.

Cheers,
Mark.