[erlang-questions] erl_tidy and specs

Anthony Ramine <>
Fri Feb 7 16:33:08 CET 2014


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




More information about the erlang-questions mailing list