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

[Zoltan Somogyi]

On Tue, 20 Jan 2015 13:05:13 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
> > │test.m:008: In clause for predicate `test'/2:
> > │test.m:008:   in argument 1 of call to predicate `<'/2:
> > │test.m:008:   type error: variable `A' has type `float',
> > │test.m:008:   expected type was `int'.

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.

Zoltan.