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

[Peter Schachte]

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.

-- 
Peter Schachte                     Intellectual brilliance is no guarentee
mailto:schachte at cs.mu.OZ.AU        against being dead wrong.
http://www.cs.mu.oz.au/~schachte/      -- David Fasold 
PGP: finger schachte at 128.250.37.3