Hi Damian, you are correct to point out that this is an omission on Dialyzer's part. I will send a patch for this soon. Stavros -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://erlang.org/pipermail/erlang-questions/attachments/20111215/418c439f/attachment.htm>