[erlang-questions] Type Specifications for Parameterized Modules

[Alain O'Dea]

Hi Eric:

On Tue, Mar 15, 2011 at 11:04 AM, Eric Merritt <ericbmerritt@REDACTED> wrote:
> Hello All,
>
>   Is there any way to specify the types for parameters in
> parameterized modules?
>
> Parameterized modules are still experimental so perhaps they are not
> supported for specs. In any case, I have yet to find anything
> mentioning parameterized modules and specs in the same context.
>
> Thanks,
>  Eric
>

In an interview with Erlang Inside, Kostis Sagonas says parameterized
modules are supported by Dialyzer:
http://erlanginside.com/interview-with-kostis-sagonas-leader-of-the-hipe-team-and-erlang-tool-developer-244

However, I am not sure how the support works.