[erlang-questions] dyalizer? (was Re: Alternatives to Elixir)

[Anthony Ramine]

The short way is to introduce a new compiler option +core_info which does like +debug_info but for Core’s AST and then make Dialyzer use that BEAM chunk if present.

Dialyzer doesn’t actually analyse Erlang code, it takes the specs in it, compile to Core and does the analysis on Core.

Thus any language targeting Core with semantics similar to Erlang should be able to benefit from Dialyzer.

-- 
Anthony Ramine

Le 10 févr. 2014 à 23:56, Raoul Duke <raould@REDACTED> a écrit :

> so do any of these work with dyalizer? :-)
> 
> still hoping that somebody will contribute whatever is need so the
> dyalizer folks can incorporate it. as was said on the list before, it
> isn't expected that the core dyalizer folks do this work for whatever
> random languages exist out there.