[m-users.] type error message for polymorphic predicates

[Zoltan Somogyi]

On Tue, 20 Jan 2015 08:26:34 +0100, Matthias Guedemann <matthias.guedemann at googlemail.com> wrote:
> > I am guessing that the root cause of the confusion here is that
> > message identifies the predicate only as </2, not as int.</2. That
> > should be easy to fix.
> 
> I think this would be a good fix. Thanks.

I have just committed this fix. It should be in the next ROTD.

Zoltan.