|
|
| Author |
Message |
< Erlang bugs mailing list ~ [erlang-questions] Dialyzer bug with 'not (boolexpr)' guard |
| Guest |
 Posted: Wed Mar 03, 2010 6:45 am |
 |
|
|
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 |
|
|
|
All times are GMT
|
|
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
|
|
|
Digg It
Del.icio.us
Reddit
Facebook
Stumble Upon
Technorati
