I created a small code example, distilled from a couple files in a larger project, that will cause dialyzer to hang indefinitely.<br>At least, in the larger project I left dialyzer running for 42 hours before giving up.  I have only left it running for a few minutes on this small code example before deciding that more time would not help.<br>
<br>I am running R14B03 on FreeBSD, amd64 architecture:<br>Erlang R14B03 (erts-5.8.4) [source] [64-bit] [smp:6:6] [rq:6] [async-threads:0] [hipe] [kernel-poll:false]<br><br>Steps to reproduce:<br>erlc +debug_info test.erl<br>
dialyzer --build_plt --output_plt test.plt test.beam<br><br>test.erl:<br>-module(test).<br><br>-compile(export_all).<br><br><br>-record(property, {name, value}).<br>
-opaque property() :: #property{}.<br><br>-record(collection, {id, values :: [#property{}]}).<br><br>as_proplist(#collection{values = Values}) -><br>        [{Name, Value} || #property{name = Name, value = Value} <- Values] .<br>
<br>If I can provide any more details that will help, please let me know!<br><br>Thanks,<br>Garret