illegal declaration of pertially defined record types in dialyzer, R14A

Nico Kruber <>
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