[erlang-questions] Temporarily violating record type constraints annoys dialyzer

Boroska András andras.boroska@REDACTED
Fri Dec 7 15:06:56 CET 2018


Sorry, I meant bug report on the _compiler_ (not on dialyzer).

On Fri, Dec 7, 2018 at 3:04 PM Boroska András <andras.boroska@REDACTED>
wrote:

> Hi,
>
> When defining records the way Daniel suggests dialyzer seems to find
> problems with record field constraints better. I find it helpful and
> changed our record definitions everywhere.
>
> On the other hand when 'warn_untyped_record' compiler option is turned on,
> it warns us that "record foo has field(s) without type information".
> (OTP-21.1.3) Shall I open a bug report/feature request on dialyzer?
>
> Andras
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20181207/f382e0fe/attachment.htm>


More information about the erlang-questions mailing list