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

[Tuncer Ayaz]

2010/10/1 Kostis Sagonas <kostis@REDACTED>:
> Björn Gustavsson wrote:
>>
>> 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.
>
> 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

Ack.