[m-dev.] Re: trivial diff: define `int:is/2' in Mercury

[Fergus Henderson]

On 23-Mar-1999, Peter Schachte <schachte at cs.mu.OZ.AU> wrote:
> On Tue, Mar 23, 1999 at 01:41:24AM +0000, Lee Naish wrote:
> > Fergus Henderson <fjh at cs.mu.OZ.AU> writes:
> > 
> > >	:- pragma obsolete(is/2, 
> > > 		"This predicate has moved to the `prolog' module.").
> > 
> > >However, this still wouldn't solve the problem with is/2.
> > 
> > Sounds like you want to issue a warning if (and preferably only if)
> > is/2 has an explicit module qualifier or the prolog module is not used.
> 
> Maybe the solution is to have the code that detects and reports
> ambiguities only report an ambiguity if more than one of the matching
> predicates is not obsolete.  If all but one is obsolete, automatically
> (and quietly) select the non-obsolete one.

That sounds to me like a reasonably good idea. 
Non-trivial to implement, though.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.