[erlang-questions] erl_tidy and specs

Noah Diewald <>
Fri Feb 7 19:28:26 CET 2014


I think that "go fmt" was a direct result of having acme editor users on
the team. The formatting in acme is always done by an external
program. I tend to make fmt shell tools for all the languages I use. For
erlang I actually use an emacs batch command. It would be nice to have
something less clunky but my current setup is works.

 writes:

> 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 <> 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 <> 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
>>> 
>>> http://erlang.org/mailman/listinfo/erlang-questions
>>
>> _______________________________________________
>> erlang-questions mailing list
>> 
>> http://erlang.org/mailman/listinfo/erlang-questions
> _______________________________________________
> erlang-questions mailing list
> 
> http://erlang.org/mailman/listinfo/erlang-questions




More information about the erlang-questions mailing list