search

aronisstav / otp

Erlang/OTP
http://erlang.org
3 stars 1 forks source link

Types with same name and different arity #2

Closed aronisstav closed 8 years ago

aronisstav commented 12 years ago

Dialyzer does not support in the same module type definitions with the same name, even when they have different arity. Currently the suggested fix is to add the arity of the type as a suffix:

-type my_type(Arg) :: {my_atom, Arg}.
-type my_type() :: my_type(_).

should be replaced with:

-type my_type1(Arg) :: {my_atom, Arg}.
-type my_type0() :: my_type1(_).