illegal declaration of pertially defined record types in dialyzer, R14A
Nico Kruber
kruber@REDACTED
Tue Aug 31 15:26:11 CEST 2010
here's the other bug I originally intendet to report:
I declare a remote type rec1:rec1() in the rec1 module,
a record rec2 in module rec2 along with a rec2:rec2() type.
If I use the rec2:rec2() type in a third module, i.e. rec3, dialyzer reports
an illegal declaration of rec2#{id}:
------------------------
> dialyzer -Werror_handling -Wrace_conditions --src -c rec*.erl --no_native
Checking whether the PLT /home/nico/.dialyzer_plt is up-to-date... yes
Proceeding with analysis...
dialyzer: Analysis failed with error: Illegal declaration of rec2#{id}
Last messages in the log cache:
Reading files and computing callgraph... done in 0.06 secs
Removing edges... done in 0.01 secs
------------------------
even if I put the record in a .hrl file and include it in both, rec2 and rec3,
the error stays the same.
Syntax should be correct according to
http://www.erlang.org/doc/reference_manual/typespec.html#id2272601
Regards
Nico Kruber
-------------- next part --------------
A non-text attachment was scrubbed...
Name: rec1.erl
Type: text/x-erlang
Size: 76 bytes
Desc: not available
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20100831/7a2cb21a/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: rec2.erl
Type: text/x-erlang
Size: 140 bytes
Desc: not available
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20100831/7a2cb21a/attachment-0001.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: rec3.erl
Type: text/x-erlang
Size: 111 bytes
Desc: not available
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20100831/7a2cb21a/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part.
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20100831/7a2cb21a/attachment-0003.bin>
More information about the erlang-bugs
mailing list