Re: Dialyzer does not check record update types

Hans Bolinder <[email protected]>
Newsgroups gmane.comp.lang.erlang.bugs
Message-ID <[email protected]> 
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

_______________________________________________
erlang-bugs mailing list
[email protected]
http://erlang.org/mailman/listinfo/erlang-bugs
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.