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

[Kostis Sagonas]

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:

https://github.com/erlang/otp/commit/b92234d1b1b527bb56e5b66d206ea50fcb82c381

Kostis