Диализатор Предупреждения на эрланге, Записи о строительстве и неправильные списки

Question

Я пытаюсь исправить предупреждения в коде erlang, найденном в диализаторе. Я столкнулся с несколькими ошибками, такими как создание записей и неправильные списки, которые вызывают эти ошибки. может кто-нибудь объяснить это.

спасибо!

Answer 1

Правильный список :

[1|[2]]

Неправильный список :

[1|2]

... что может быть результатом определения функции следующим образом:

f([H|[]]) -> H-1;
f([H|T]) -> [H - 1 | f(T) ].

вместо:

f([H|[]]) -> [H-1];
f([H|T]) -> [H - 1 | f(T) ].

Ошибка построения записи :

http://erlang.org/pipermail/erlang-questions/2013-June/074118.html.

Я не получаю ошибку построения этой записи в erlang 20.2.