[erlang-bugs] Dialyzer does not check record update types

[Hans Bolinder]

Hi,

> Dialyzer checks the type of record elements when creating them but not when
> updating them. Pasted below is a minimal working example.

Thank you.

A correction will appear on the maint branch shortly.

Best regards,

Hans Bolinder, Erlang/OTP team, Ericsson

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20141124/ec54d45b/attachment.htm>