Dialyzer warning when returning a prolist

Fred Hebert mononcqc@REDACTED
Tue May 18 02:35:21 CEST 2021


The issue is that you have the underspecs option and it will complain every
time a more narrow type can define what you are returning. Since you’re
returning a static value, your type should be that static value to not be
considered underspecified.

>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20210517/13596006/attachment.htm>


More information about the erlang-questions mailing list