[erlang-questions] Dialyzer bug with 'not (boolexpr)' guard

[Kostis Sagonas]

Per Hedeland wrote:
> Hi,
> 
> I believe the code below demonstrates a bug in dialyzer (2.1.0) - it
> produces the warning:
> 
> diabug.erl:19: Clause guard cannot succeed. The variable Cs was matched against the type any()
> 
> for the first test/1 clause, ...

For the record, let me mention that this particular bug (also present in 
dialyzer 2.2.0) has been fixed.  The fix will appear in R14 and in its 
dev branch in the git repository.

Thanks for the report,

Kostis