Slowly moving towards dialyzer specs...
Don't dialyze dependencies.
Compile with +debug_info by default.
Funny, I just was adding skip_deps myself...
But speaking about debug_info, how about something like this
@./rebar compile debug_info=1
@./rebar dialyze skip_deps=true
Fine by me to add that. The dialyzer doesn't like typespecs.hrl though for some reason (which I am more inclined to call a problem inside the dialyzer)
Well, I don't see a reason why it shouldn't like it. What do you get?
P.S. I will merge this soon
Something along the lines of the fact that if have a type
-type foo :: ...
-type foo(A) :: ... use of A ...
then it errs (with a quite nasty error that forgets to print out the string correctly) that the type in question is already defined. I am quite sure it is an internal dialyzer error.
Oh, I think I have the same problem, it looks like a internal problem to me, too. Shouldn't we report it to erlang-bugs or something?
Start by asking on erlang-questions@ with a minimal example.
Yeah, I guess this is the only way.