[erlang-questions] Erlang/OTP R14B03 has been released (Mazen Harake)

Thu May 26 15:32:15 CEST 2011

On May 26, 2011, at 11:00 AM, erlang-questions-request@REDACTED wrote:

> Send erlang-questions mailing list submissions to
> 	erlang-questions@REDACTED
> 
> To subscribe or unsubscribe via the World Wide Web, visit
> 	http://erlang.org/mailman/listinfo/erlang-questions
> or, via email, send a message with subject or body 'help' to
> 	erlang-questions-request@REDACTED
> 
> You can reach the person managing the list at
> 	erlang-questions-owner@REDACTED
> 
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of erlang-questions digest..."
> 
> 
> Today's Topics:
> 
>   1.  Multiple types with the same name in Dialyzer (Anthony Ramine)
>   2. Re:  Multiple types with the same name in Dialyzer
>      (Kostis Sagonas)
>   3. Re:  Erlang/OTP R14B03 has been released (Mazen Harake)
> 
> 
> ----------------------------------------------------------------------
> 
> Message: 1
> Date: Thu, 26 May 2011 11:24:16 +0200
> From: Anthony Ramine <nox@REDACTED>
> To: Kostis Sagonas <kostis@REDACTED>
> Cc: Erlang Questions <erlang-questions@REDACTED>
> Subject: [erlang-questions] Multiple types with the same name in
> 	Dialyzer
> Message-ID: <96B869B4-4B4A-444F-8294-81C737F61D9B@REDACTED>
> Content-Type: text/plain; charset=us-ascii
> 
> Hi,
> 
> I have a type value/1 defined as `-type value(LabelT) :: ...` and I would
> like to have a type value/0 with a default LabelT type value like
> `-type value() :: value(binary())`. The file compiles just fine but Dialyzer
> complains that "Type value is already defined".
> 
> This exception is thrown from dialyzer_utils:add_new_type/6 [1] because the arity
> is not a part of a type identity, you can see this in erl_types:type_is_defined/3 [2].
> 
> What I really don't understand is that while the arity is not a part of it, whether
> the given type is opaque or not is, so you can have both `-type t()` and `-opaque t()`.
> 
> So I have two questions:
> 
> - Is being unable to have both type value/0 and value/1 a bug?
> - Does being able to have both type t opaque and non-opaque have any purpose?
> 
> Regards,
> 
> [1] https://github.com/erlang/otp/blob/dev/lib/dialyzer/src/dialyzer_utils.erl#L223
> [2] https://github.com/erlang/otp/blob/dev/lib/hipe/cerl/erl_types.erl#L3984
> 
> --
> Anthony Ramine
> Dev:Extend
> http://dev-extend.eu
> 
> 
> 
> 
> 
> 
> ------------------------------
> 
> Message: 2
> Date: Thu, 26 May 2011 12:24:58 +0300
> From: Kostis Sagonas <kostis@REDACTED>
> To: Anthony Ramine <nox@REDACTED>
> Cc: Erlang Questions <erlang-questions@REDACTED>
> Subject: Re: [erlang-questions] Multiple types with the same name in
> 	Dialyzer
> Message-ID: <4DDE1C6A.60303@REDACTED>
> Content-Type: text/plain; charset=ISO-8859-1; format=flowed
> 
> Anthony Ramine wrote:
>> Hi,
>> 
>> I have a type value/1 defined as `-type value(LabelT) :: ...` and I would
>> like to have a type value/0 with a default LabelT type value like
>> `-type value() :: value(binary())`. The file compiles just fine but Dialyzer
>> complains that "Type value is already defined".
>> 
>> This exception is thrown from dialyzer_utils:add_new_type/6 [1] because the arity
>> is not a part of a type identity, you can see this in erl_types:type_is_defined/3 [2].
>> 
>> What I really don't understand is that while the arity is not a part of it, whether
>> the given type is opaque or not is, so you can have both `-type t()` and `-opaque t()`.
>> 
>> So I have two questions:
>> 
>> - Is being unable to have both type value/0 and value/1 a bug?
>> - Does being able to have both type t opaque and non-opaque have any purpose?
> 
> Hi Antony,
> 
> We are aware of these issues and we are in the process of fixing them. 
> Unfortunately, they require major surgery...
> 
> Sort answers to your questions:
> 
>  1. No -- just a current limitation that will be lifted soon, I hope.
>  2. No -- it should be prohibited by erl_lint already; will happen.
> 
> Kostis
> 
> 
> ------------------------------
> 
> Message: 3
> Date: Thu, 26 May 2011 11:29:20 +0200
> From: Mazen Harake <mazen.harake@REDACTED>
> To: "erlang-questions@REDACTED" <erlang-questions@REDACTED>
> Subject: Re: [erlang-questions] Erlang/OTP R14B03 has been released
> Message-ID: <BANLkTim7FtLViGbPAR9LudoGeFZGXaEWHw@REDACTED>
> Content-Type: text/plain; charset=ISO-8859-1
> 
> Oh.... :( there it is:
> RUN_ERL_DISABLE_FLOWCNTRL
> 
> I tried to stop this truly horrible shortening of the word "CONTROL"
> but I guess the damage has been done :P
> 
> Welcoming feature, which shall laugh in our faces every time someone
> wonders "why isn't it working!?!?" after have misread this as
> "FLOWCTRL" which would be the more common shortening.
> 
> well well... "it" happens, I guess :)
> 
> 
> 
> 2011/5/25 Bj?rn-Egil Dahlberg <egil@REDACTED>
>> 
>> Erlang/OTP R14B03 has been released.
>> 
>> This release is mainly a stabilization of the R14B03 release (but as usual there are some new functionality as well).
>> 
>> You can find the README file for the release at
>> 
>> http://www.erlang.org/download/otp_src_R14B03.readme
>> 
>> The source distribution and binary distribution for Windows can be downloaded from
>> 
>> http://www.erlang.org/download/otp_src_R14B03.tar.gz
>> http://www.erlang.org/download/otp_win32_R14B03.exe
>> 
>> 
>> Note: To unpack the TAR archive you need a GNU TAR compatible program.
>> 
>> For installation instructions please read the README file that is part
>> of the distribution.
>> 
>> You can also find the source in the official Erlang/OTP git-repository at GitHub (http://github.com/erlang/otp)
>> 
>> 
>> The on-line documentation can be found at: http://www.erlang.org/doc/
>> You can also download the complete HTML documentation or the Unix manual files
>> 
>> http://www.erlang.org/download/otp_doc_html_R14B03.tar.gz
>> http://www.erlang.org/download/otp_doc_man_R14B03.tar.gz
>> 
>> We also want to thank those that sent us patches, suggestions and bug reports.
>> 
>> The Erlang/OTP Team
>> Ericsson AB
>> 
>> 
>> _______________________________________________
>> erlang-questions mailing list
>> erlang-questions@REDACTED
>> http://erlang.org/mailman/listinfo/erlang-questions
> 
> 
> ------------------------------
> 
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions
> 
> 
> End of erlang-questions Digest, Vol 10, Issue 43
> ************************************************

pǝʇɐʇs ǝsıʍɹǝɥʇo ssǝʃun ˙unƃǝsnʃO ˙∀ oʎɐʇuıʞ∀


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20110526/4a7e4ff9/attachment.htm>