[erlang-questions] Type Specifications for Parameterized Modules

Alain O'Dea <>
Tue Mar 15 16:15:51 CET 2011

Hi Eric:

On Tue, Mar 15, 2011 at 11:04 AM, Eric Merritt <> 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:

However, I am not sure how the support works.

More information about the erlang-questions mailing list