vscosta/yap-6.3

Wrong arguments in clause for assoc predicate map_assoc/3

Opened this issue · 3 comments

pmoura commented

Given the meta-predicate directive for the map_assoc/3 predicate and its description, the following clause arguments seem incorrect:

yap-6.3/library/assoc.yap

Line 229 in 61adeee

map_assoc(t, T, T) :- !.

Expected:

map_assoc(_, t, t) :- !.

Found by the Logtalk linter.

vscosta commented

Nice catch.

pmoura commented

Typo in e894209 the first argument: t_ should be _.

vscosta commented

sorry