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

[Boroska András]

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/966a1838/attachment.htm>