On Wed, 21 Feb 2007, Kostis Sagonas wrote: > Typically, this is because the translation does not properly handle > the new boolean operators ("andalso" and "orelse"). That was it: I had a couple of orelse operators in the code... I removed them and dialyzer works fine now. Thanks :) -- G. Olgeni (g.olgeni@REDACTED)