[erlang-questions] Type Specifications for Parameterized Modules

Alain O'Dea alain.odea@REDACTED
Tue Mar 15 16:15:51 CET 2011


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.


More information about the erlang-questions mailing list