|
|
| Author |
Message |
|
| Guest |
 Posted: Mon Jun 07, 2010 2:10 pm |
 |
|
|
Guest
|
The (hopefully final) set of changes to dialyzer for R14 can be obtained
with the following command:
git fetch git://github.com/kostis/otp.git dialyzer-R14-fixes
It fixes all problems that I am aware of.
It should be relatively straightforward to include and I do not expect
any surprises (it has been thoroughly tested on our side). There are at
least three set of changes that it needs so that it becomes complete,
but these are already in 'pu':
- bg/bif-types
- bg/nif_error
- the change described in:
http://github.com/bjorng/otp/commit/23f14da94daf1f51e202febf1673177dda0d385d
and they should also be included in 'dev'.
Kostis
________________________________________________________________
erlang-patches (at) erlang.org mailing list.
See http://www.erlang.org/faq.html
To unsubscribe; mailto:erlang-patches-unsubscribe@erlang.org
Post received from mailinglist |
|
|
| Back to top |
|
| Guest |
| Posted: Mon Jun 07, 2010 2:10 pm |
|
|
|
Guest
|
The (hopefully final) set of changes to dialyzer for R14 can be obtained
with the following command:
git fetch git://github.com/kostis/otp.git dialyzer-R14-fixes
It fixes all problems that I am aware of.
It should be relatively straightforward to include and I do not expect
any surprises (it has been thoroughly tested on our side). There are at
least three set of changes that it needs so that it becomes complete,
but these are already in 'pu':
- bg/bif-types
- bg/nif_error
- the change described in:
http://github.com/bjorng/otp/commit/23f14da94daf1f51e202febf1673177dda0d385d
and they should also be included in 'dev'.
Kostis
________________________________________________________________
erlang-patches (at) erlang.org mailing list.
See http://www.erlang.org/faq.html
To unsubscribe; mailto:erlang-patches-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
