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

Kostis Sagonas <>
Fri Oct 1 15:56:45 CEST 2010

Björn Gustavsson wrote:
> On Thu, Sep 30, 2010 at 1:22 PM, Tuncer Ayaz <> 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.

Thanks to Tuncer for noticing and fixing this issue!

However, I would prefer that the following patch gets pushed to 'dev' 
instead of his (ta/fix-dialyzer_plt-spec):

   git fetch git://github.com/kostis/otp.git  dialyzer_plt-type


More information about the erlang-patches mailing list