[erlang-patches] [PATCH] Dialyzer: Fix dialyzer_plt:included_files/1 spec

Björn Gustavsson bgustavsson@REDACTED
Thu Sep 30 15:03:50 CEST 2010


On Thu, Sep 30, 2010 at 1:22 PM, Tuncer Ayaz <tuncer.ayaz@REDACTED> wrote:
> dialyzer_plt:included_files/1 calls get_record_from_file/1 and may
> therefore also return {error, not_valid}.

Thanks! Will include in pu.

-- 
Björn Gustavsson, Erlang/OTP, Ericsson AB


More information about the erlang-patches mailing list