[erlang-patches] Re: Fix translation of fun((...) -> T) type

Henrik Nord <>
Thu Apr 7 11:05:31 CEST 2011


On 03/30/2011 01:06 PM, Kostis Sagonas wrote:
> Fix the translation of fun((...) -> T) type so that it can be 
> processed by type manipulating tools that rely on erl_types.erl
>
>   git fetch git://github.com/kostis/otp.git any-arity-fun
>
> Thanks to Andreas Hohwü-Christensen for reporting this!
>
> Kostis
> _______________________________________________
> erlang-patches mailing list
> 
> http://erlang.org/mailman/listinfo/erlang-patches

Rejected.

The problem is not just that stdlib/src/erl_pp.erl and
edoc/src/edoc_specs.erl recognize the exact tuple {type,Line,any}
(this could be "fixed" but probably not a a minor release).

No, the real problem is that the proposed tuple already has a meaning.

Pretty-printing (with modified erl_parse.yrl and erl_lint.erl)

   -type t() :: 'fun'(any(), atom()).
   -type u() :: fun((...) ->  atom()).

shows that they will be printed like this:

   -type t() :: 'fun'(any(), atom()).
   -type u() :: 'fun'(any(), atom()).

[Pretty-printing is done using the compiler's 'P' option.]



-- 
/Henrik Nord Erlang/OTP



More information about the erlang-patches mailing list