[m-dev.] diff: remove support for cuts

[Tyson Dowd]

On 28-Mar-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> It would be nice if we had something like Ada's `renames',
> so that the compiler could detect that the two different occurrences
> of `!' were both the same, and thus avoid the ambiguity.

I would be interested in adding such a feature to Mercury at some point.
I'd also be interested in extending pragma obsolete to handle types
as well as predicates.

(Of course I won't have any time to do this in the near future.  It
sounds like a reasonable summer project for someone though).

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't eveyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------