| Author |
Message |
|
| Guest |
 Posted: Mon May 24, 2010 12:01 pm |
 |
|
|
Guest
|
Add a test case that will fail if there are any
BIFs without type information:
git fetch git://github.com/bjorng/otp.git bg/bif-types
According to the test case, the following BIFs don't have
type information:
[{erlang,adler32,1},
{erlang,adler32,2},
{erlang,adler32_combine,3},
{erlang,display_string,1},
{erlang,display_nl,0},
{erlang,garbage_collect_message_area,0},
{erlang,port_call,2},
{erlang,append,2},
{erlang,subtract,2},
{erts_debug,get_internal_state,1},
{erts_debug,set_internal_state,2},
{erts_debug,display,1},
{erts_debug,dump_monitors,1},
{erts_debug,dump_links,1},
{erlang,blocking_read_file,1},
{erlang,binary_part,2},
{erlang,binary_part,3},
{binary,compile_pattern,1},
{binary,match,2},
{binary,match,3},
{binary,matches,2},
{binary,matches,3},
{binary,longest_common_prefix,1},
{binary,longest_common_suffix,1},
{binary,first,1},
{binary,last,1},
{binary,at,2},
{binary,part,2},
{binary,part,3},
{binary,bin_to_list,1},
{binary,bin_to_list,2},
{binary,bin_to_list,3},
{binary,list_to_bin,1},
{binary,copy,1},
{binary,copy,2},
{binary,referenced_byte_size,1},
{binary,encode_unsigned,1},
{binary,encode_unsigned,2},
{binary,decode_unsigned,1},
{binary,decode_unsigned,2}]
--
Björn Gustavsson, 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: Mon May 24, 2010 12:01 pm |
|
|
|
Guest
|
Add a test case that will fail if there are any
BIFs without type information:
git fetch git://github.com/bjorng/otp.git bg/bif-types
According to the test case, the following BIFs don't have
type information:
[{erlang,adler32,1},
{erlang,adler32,2},
{erlang,adler32_combine,3},
{erlang,display_string,1},
{erlang,display_nl,0},
{erlang,garbage_collect_message_area,0},
{erlang,port_call,2},
{erlang,append,2},
{erlang,subtract,2},
{erts_debug,get_internal_state,1},
{erts_debug,set_internal_state,2},
{erts_debug,display,1},
{erts_debug,dump_monitors,1},
{erts_debug,dump_links,1},
{erlang,blocking_read_file,1},
{erlang,binary_part,2},
{erlang,binary_part,3},
{binary,compile_pattern,1},
{binary,match,2},
{binary,match,3},
{binary,matches,2},
{binary,matches,3},
{binary,longest_common_prefix,1},
{binary,longest_common_suffix,1},
{binary,first,1},
{binary,last,1},
{binary,at,2},
{binary,part,2},
{binary,part,3},
{binary,bin_to_list,1},
{binary,bin_to_list,2},
{binary,bin_to_list,3},
{binary,list_to_bin,1},
{binary,copy,1},
{binary,copy,2},
{binary,referenced_byte_size,1},
{binary,encode_unsigned,1},
{binary,encode_unsigned,2},
{binary,decode_unsigned,1},
{binary,decode_unsigned,2}]
--
Björn Gustavsson, 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: Tue May 25, 2010 2:55 pm |
|
|
|
Guest
|
Björn Gustavsson wrote:
> Add a test case that will fail if there are any
> BIFs without type information:
>
> git fetch git://github.com/bjorng/otp.git bg/bif-types
>
> According to the test case, the following BIFs don't have
> type information:
>
> [{erlang,adler32,1},
> {erlang,adler32,2},
> {erlang,adler32_combine,3},
Types for these three functions as well as some checksum-related
cleanups to the erl_bif_types.erl file appear here:
http://github.com/kostis/otp/commit/4072237cb582e7412a1a8914c3c11cdf5c303808
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: Tue May 25, 2010 2:56 pm |
|
|
|
Guest
|
Björn Gustavsson wrote:
> Add a test case that will fail if there are any
> BIFs without type information:
>
> git fetch git://github.com/bjorng/otp.git bg/bif-types
>
> According to the test case, the following BIFs don't have
> type information:
>
> [{erlang,adler32,1},
> {erlang,adler32,2},
> {erlang,adler32_combine,3},
Types for these three functions as well as some checksum-related
cleanups to the erl_bif_types.erl file appear here:
http://github.com/kostis/otp/commit/4072237cb582e7412a1a8914c3c11cdf5c303808
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: Wed May 26, 2010 9:22 am |
|
|
|
Guest
|
On Tue, May 25, 2010 at 05:55:20PM +0300, Kostis Sagonas wrote:
> Bj |
|
|
| Back to top |
|
| Guest |
| Posted: Wed May 26, 2010 9:22 am |
|
|
|
Guest
|
On Tue, May 25, 2010 at 05:55:20PM +0300, Kostis Sagonas wrote:
> Bj |
|
|
| Back to top |
|
| Guest |
| Posted: Wed May 26, 2010 11:38 am |
|
|
|
Guest
|
|
| Back to top |
|
| Guest |
| Posted: Wed May 26, 2010 11:39 am |
|
|
|
Guest
|
|
| Back to top |
|
| Guest |
| Posted: Wed May 26, 2010 3:04 pm |
|
|
|
Guest
|
2010/5/26 Raimo Niskanen <raimo+erlang-patches@erix.ericsson.se>:
> Forget it. Björn will take this directly into ClearCase.
That was actually another branch.
Since this branch is still in 'pu', I have cherry-picked and cleaned
up your commits and included them in the branch:
git fetch git://github.com/bjorng/otp.git bg/bif-types
--
Björn Gustavsson, 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: Wed May 26, 2010 3:04 pm |
|
|
|
Guest
|
2010/5/26 Raimo Niskanen <raimo+erlang-patches@erix.ericsson.se>:
> Forget it. Björn will take this directly into ClearCase.
That was actually another branch.
Since this branch is still in 'pu', I have cherry-picked and cleaned
up your commits and included them in the branch:
git fetch git://github.com/bjorng/otp.git bg/bif-types
--
Björn Gustavsson, 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: Thu May 27, 2010 9:04 am |
|
|
|
Guest
|
| On Wed, May 26, 2010 at 05:04:12PM +0200, Bj |
|
|
| Back to top |
|
| Guest |
| Posted: Thu May 27, 2010 9:05 am |
|
|
|
Guest
|
| On Wed, May 26, 2010 at 05:04:12PM +0200, Bj |
|
|
| Back to top |
|
| Guest |
| Posted: Wed Jun 02, 2010 8:12 am |
|
|
|
Guest
|
I have added type information for all BIFs that
didn't have them (except for BIFs in the hipe_bifs
module). I have also strengthened the test case
to detect some more common mistakes.
git fetch git://github.com/bjorng/otp.git bg/bif-types
--
Björn Gustavsson, 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: Wed Jun 02, 2010 8:13 am |
|
|
|
Guest
|
I have added type information for all BIFs that
didn't have them (except for BIFs in the hipe_bifs
module). I have also strengthened the test case
to detect some more common mistakes.
git fetch git://github.com/bjorng/otp.git bg/bif-types
--
Björn Gustavsson, 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: Wed Jun 02, 2010 12:06 pm |
|
|
|
Guest
|
| On Wed, Jun 02, 2010 at 10:12:23AM +0200, Bj |
|
|
| Back to top |
|
|
|
All times are GMT
Page 1 of 2
Goto page 1, 2 Next
|
|
|
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
