[erlang-questions] spec( status

[Tony Rogvall]

Hi list!

What is the current status on how to use the function type specs?

I have seen several versions in the stdlib code!

from string.erl:

-spec sub_string(string(), pos_integer(), pos_integer()) -> string().

gb_trees.erl (with comment)

%%-spec(empty/0 :: () -> gb_tree()).

lists.erl:

-spec(append/2 :: ([T],[T]) -> [T]).

What is the problem here???? What should I use to be a modern Erlang  
programmer?

Of course I would like my type spec work to pay. Are there any edoc/ 
doxygen stuff that
take any of the formats?

What/Which formats do dializer use?

I would expect that at least the stdlib to be normalized to one  
notation, why not spend
and hour or two to fix it?


Thanks

/Tony