resolve calls to tranpose_ and same_length in lists.pl (#790)

This commit is contained in:
Mark Thom
2021-02-03 16:38:44 -07:00
parent a8a82e45a0
commit 2fe55e4715

View File

@@ -160,8 +160,8 @@ transpose(Ls, Ts) :-
lists_transpose([], []).
lists_transpose([L|Ls], Ts) :-
maplist(same_length(L), Ls),
foldl(transpose_, L, Ts, [L|Ls], _).
maplist(lists:same_length(L), Ls),
foldl(lists:transpose_, L, Ts, [L|Ls], _).
transpose_(_, Fs, Lists0, Lists) :-
maplist(lists:list_first_rest, Lists0, Fs, Lists).