[erlang-questions] dialyzer working with lfe, joxa, et. al?

[Loïc Hoguin]

You just need to add different debugging information to the beam 
(typespecs + Core Erlang), and Dialyzer just needs to read that if it 
can't find Erlang AST. Dialyzer do most of its work on Core Erlang code 
already, it (correct if I'm wrong) only uses the Erlang AST to extract 
typespec information.

Shouldn't be a patch too difficult to write, just needs time.

On 03/07/2013 06:48 PM, Robert Virding wrote:
> Keep them crossed. :-) It's definitely not impossible, it "just" needs the dialyzer people to implement hooks to which we (LFE, Joxa, ...) can write plugins. It that were to happen I might even add type specifications to LFE.
>
> Robert
>
> ----- Original Message -----
>> From: "Raoul Duke" <raould@REDACTED>
>> To: "erlang-questions" <erlang-questions@REDACTED>
>> Sent: Thursday, 7 March, 2013 6:10:21 PM
>> Subject: [erlang-questions] dialyzer working with lfe, joxa, et. al?
>>
>> fingers still crossed... :-)
>> _______________________________________________
>> erlang-questions mailing list
>> erlang-questions@REDACTED
>> http://erlang.org/mailman/listinfo/erlang-questions
>>
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions
>


-- 
Loïc Hoguin
Erlang Cowboy
Nine Nines
http://ninenines.eu