[erlang-questions] Re: Dialyzer vs funs with unknown arity

Kostis Sagonas kostis@REDACTED
Wed Apr 6 17:58:17 CEST 2011

Magnus Henoch wrote:
> Hi all,
> I'm trying to get Dialyzer to accept a type spec containing a fun of
> unknown arity.  According to the manual
> (http://www.erlang.org/doc/reference_manual/typespec.html) that should
> be fun((...) -> ReturnType), but when I run Dialyzer, it gives me an error.
> I'm probably missing something obvious but I really can't see
> it... 

You are not missing anything.  I've submitted a patch about this which 
is currently cooking in 'pu'.  Hopefully it will be ready soon.  See:



More information about the erlang-questions mailing list