[erlang-bugs] dialyzer false positive io_lib:fread
Hans Bolinder
hans.bolinder@REDACTED
Thu Aug 22 08:34:12 CEST 2013
Hi,
[Chris King:]
> dialyzer produces a false positive when analyzing io_lib:fread with a ~a
> argument – it believes (erroneously) that the parsed value will be a
> string, when in fact it will be an atom. This does not occur with
> io:fread, or with io_lib:fread with an integer argument.
[Kostis:]
> The behaviour you are experiencing is a side-effect of the type and spec
> declarations that exist in modules io_lib and io_lib_fread
Thanks for the bug report. I've corrected the specs of io_lib:fread().
The fix should appear on the 'maint' branch soon.
Best regards,
Hans Bolinder, Erlang OTP team, Ericsson
More information about the erlang-bugs
mailing list