Re: Dialyzer warning when returning a prolist
Fred Hebert <[email protected]>
| Newsgroups | gmane.comp.lang.erlang.general |
|---|---|
| Message-ID | <CAFA3VZLH6odetRFjTSi7qafwcP-+XeYXKOzK-oOGqcgpquwd3Q@mail.gmail.com> |
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. >