We have confirmed this bug and I will update my recent dialyzer-fixes patch with a fix for it. Thanks for the report! Stavros > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://erlang.org/pipermail/erlang-questions/attachments/20120301/00cda4b9/attachment.htm>