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

[Peter Schachte]

On Mon, Mar 22, 1999 at 02:28:05PM +1100, Simon Taylor wrote:
> > > library/int.m:
> > > 	Define `int:is/2' in Mercury.
> > Shouldn't you do the same for float:is/2?
> 
> There's no such predicate.

Hmmmmm.  That's odd.

> It could be argued that `int:is/2' should be made obsolete
> and removed in a later release.

Yup, I think that's a good idea.  I can't think of any reason to
maintain it, and it does seem rather a shame to take such a nice
name/arity from users.

> It might be worth adding `:- pred std_util:id(T, T).' as a replacement.

Maybe, but I would think just having =/2 would be enough.  If you're
going to add `id', I'd argue instead for `:- func id(T) = T.' (if it's
not already there).

-- 
Peter Schachte                     A witty saying proves nothing.
mailto:schachte at cs.mu.OZ.AU            -- Voltaire 
http://www.cs.mu.oz.au/~schachte/  
PGP: finger schachte at 128.250.37.3