|
|
| Author |
Message |
|
| Guest |
 Posted: Thu Jun 17, 2010 12:28 pm |
 |
|
|
Guest
|
Hello,
R14A's beam_lib(3) man page and beam_lib:cmp_rsn() type do not completely cover the actual return type of beam_lib:cmp/2.
Indeed, beam_lib:cmp/2 can return {error, beam_lib, different_chunks} if there is a non-useless chunk (i.e. a chunk other than "CInf") in Beam1 that is not in Beam2, or reciprocally -- (cf beam_lib.erl, line 352).
A patch for this specification is available here:
git fetch git://github.com/pguyot/otp.git pg/beam_lib_cmp_2_return_type_specification
Regards,
Paul
________________________________________________________________
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: Thu Jun 17, 2010 12:29 pm |
|
|
|
Guest
|
Hello,
R14A's beam_lib(3) man page and beam_lib:cmp_rsn() type do not completely cover the actual return type of beam_lib:cmp/2.
Indeed, beam_lib:cmp/2 can return {error, beam_lib, different_chunks} if there is a non-useless chunk (i.e. a chunk other than "CInf") in Beam1 that is not in Beam2, or reciprocally -- (cf beam_lib.erl, line 352).
A patch for this specification is available here:
git fetch git://github.com/pguyot/otp.git pg/beam_lib_cmp_2_return_type_specification
Regards,
Paul
________________________________________________________________
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: Fri Jun 18, 2010 2:07 pm |
|
|
|
Guest
|
On Thu, Jun 17, 2010 at 02:28:36PM +0200, Paul Guyot wrote:
> Hello,
>
> R14A's beam_lib(3) man page and beam_lib:cmp_rsn() type do not completely cover the actual return type of beam_lib:cmp/2.
>
> Indeed, beam_lib:cmp/2 can return {error, beam_lib, different_chunks} if there is a non-useless chunk (i.e. a chunk other than "CInf") in Beam1 that is not in Beam2, or reciprocally -- (cf beam_lib.erl, line 352).
>
> A patch for this specification is available here:
>
> git fetch git://github.com/pguyot/otp.git pg/beam_lib_cmp_2_return_type_specification
Thank you! It will be included in 'pu'.
>
> Regards,
>
> Paul
>
>
> ________________________________________________________________
> erlang-patches (at) erlang.org mailing list.
> See http://www.erlang.org/faq.html
> To unsubscribe; mailto:erlang-patches-unsubscribe@erlang.org
>
--
/ Raimo Niskanen, Erlang/OTP, Ericsson AB
________________________________________________________________
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: Fri Jun 18, 2010 2:07 pm |
|
|
|
Guest
|
On Thu, Jun 17, 2010 at 02:28:36PM +0200, Paul Guyot wrote:
> Hello,
>
> R14A's beam_lib(3) man page and beam_lib:cmp_rsn() type do not completely cover the actual return type of beam_lib:cmp/2.
>
> Indeed, beam_lib:cmp/2 can return {error, beam_lib, different_chunks} if there is a non-useless chunk (i.e. a chunk other than "CInf") in Beam1 that is not in Beam2, or reciprocally -- (cf beam_lib.erl, line 352).
>
> A patch for this specification is available here:
>
> git fetch git://github.com/pguyot/otp.git pg/beam_lib_cmp_2_return_type_specification
Thank you! It will be included in 'pu'.
>
> Regards,
>
> Paul
>
>
> ________________________________________________________________
> erlang-patches (at) erlang.org mailing list.
> See http://www.erlang.org/faq.html
> To unsubscribe; mailto:erlang-patches-unsubscribe@erlang.org
>
--
/ Raimo Niskanen, Erlang/OTP, Ericsson AB
________________________________________________________________
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
