Multiple specs are allowed per function, but Gradient says they can't.

[eksperimental]

I have the following specs

  @spec child_pid(arg) :: arg when arg: pid
  @spec child_pid(name) :: pid

And I get this error:

lib/checker.ex: The spec child_pid/1 on line 126 follows another spec, but only one spec per function clause is allowed

[Premwoik]

Hi! Currently, the allowed @spec position is described in the comment:
#55 (comment)

The goal behind implementing this spec check was to warn when the spec is accidentally placed above another function:

@spec a() :: binary()
def b(atom) when is_atom(atom), do: to_string(atom)

We are open to suggestions on the acceptable spec locations :)

[eksperimental]

Hi @Premwoik
Multiple specs is valid Elixir code,
it is actually documented here
https://hexdocs.pm/elixir/typespecs.html#defining-a-specification

Specifications can be overloaded just like ordinary functions.

@spec function(integer) :: atom
@spec function(atom) :: integer

[Premwoik]

Ok, you are right. We need to correct it :)

[eksperimental]

Awesome

[eksperimental]

Thank you @Premwoik