[m-users.] type error message for polymorphic predicates
zoltan.somogyi at runbox.com
Tue Jan 20 13:48:14 AEDT 2015
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.
More information about the users