[erlang-questions] Dialyzer bug with 'not (boolexpr)' guard
Kostis Sagonas
kostis@REDACTED
Wed Mar 3 07:41:49 CET 2010
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
More information about the erlang-questions
mailing list