[erlang-questions] erl_tidy and specs

Anthony Ramine n.oxyde@REDACTED
Sat Feb 8 02:09:15 CET 2014


Hello,

No syntax tools code yet, but I’ve made some documentation about the various trees that need to be handled.

	https://github.com/erlang/otp/pull/230

Regards,

-- 
Anthony Ramine

Le 7 févr. 2014 à 17:01, Gleb Peregud <gleber.p@REDACTED> a écrit :

> The fact that Go team created and popularized "go fmt" from the
> very-very beginning was an awesome move! I would really like to be
> able to read the code which is always sanely and consistently
> formatted. If someone had time to improve erl_tidy and OTP team would
> promote it more, I would so very happy.
> 
> On Fri, Feb 7, 2014 at 4:33 PM, Anthony Ramine <n.oxyde@REDACTED> wrote:
>> Yeah it is expected. Syntax_tools pretty-printing of Dialyzer-related attributes could be improved, but it requires a lot of new functions, as they are currently dumbed down to tuples.
>> 
>> --
>> Anthony Ramine
>> 
>> Le 7 févr. 2014 à 14:53, Fredrik Andersson <sedrik@REDACTED> a écrit :
>> 
>>> Hi all
>>> 
>>> In light of the recent indentation flamewar I thought about looking for something that could become our version of go fmt and stumbled across erl_tidy (http://erlang.org/doc/man/erl_tidy.html).
>>> 
>>> Now it looks good but seems to be old as it does not handle specs correctly.
>>> 
>>> Given the following file.
>>> -module(spec_error).
>>> 
>>> -export([spec_error_fun/0]).
>>> 
>>> -spec spec_error_fun() -> ok.
>>> spec_error_fun() ->
>>>    ok.
>>> 
>>> after calling erl_tidy:dir() in the directory where it resides I get the following.
>>> 
>>> -module(spec_error).
>>> 
>>> -export([spec_error_fun/0]).
>>> 
>>> -spec({{spec_error_fun, 0},
>>>       [{type, 5, 'fun',
>>>         [{type, 5, product, []}, {atom, 5, ok}]}]}).
>>> 
>>> spec_error_fun() -> ok.
>>> 
>>> Is this expected or is it a bug?
>>> _______________________________________________
>>> 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




More information about the erlang-questions mailing list