[erlang-questions] edoc support for EEP8 type definitions

[Paul Fisher]

Is there any work planned or underway for supporting documenting the
EEP8 type definitions more directly, and not requiring the
re-specification of the type with @type directive?  Basically rather
than writing the following:

%% @type foo() = atom().
%%
%% A foo is a fundamental type.
%%
%% A foo is a really well understood and used programming type that
%% is fundamental to the programming trade.
%%
-type(foo() :: atom()).

I would love to simply write:

%% @doc A foo is a fundamental type.
%%
%% A foo is a really well understood and used programming type that
%% is fundamental to the programming trade.
%%
-type(foo() :: atom()).


-- 
paul