Erlang Mailing Lists
Author Message

<  Erlang bugs mailing list  ~  [erlang-questions] Dialyzer bug with 'not (boolexpr)' guard
Guest
Posted: Wed Mar 03, 2010 6:45 am Reply with quote
Guest
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

________________________________________________________________
erlang-bugs (at) erlang.org mailing list.
See http://www.erlang.org/faq.html
To unsubscribe; mailto:erlang-bugs-unsubscribe@erlang.org

Post received from mailinglist
Back to top

Display posts from previous:  

All times are GMT
View next topic
View previous topic
Page 1 of 1
Erlang Forum - Trap Exit Forum Index  ~  Erlang bugs mailing list
This forum is locked: you cannot post, reply to, or edit topics.

Jump to:  

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You cannot download files in this forum
Hosted by Erlang Solutions    |    Powered by phpBB and NoseBleed v1.14