Dialyzer: show success typing of a given function

[Jesper Eskilson]

Thanks, I'll check it out.

On Thu, Jan 9, 2020 at 11:40 AM Tobias Lindahl <tobias.lindahl@REDACTED>
wrote:

> Jesper, I think you might want to have a look at the function
> dialyzer_plt:pp_mod/1
>
> I agree that there should be some command line option for this. I think I
> even had one at some point, but it seems to have got lost over time.
>
> Den ons 8 jan. 2020 kl 10:48 skrev Jesper Eskilson <
> jesper.eskilson@REDACTED>:
>
>> Thanks! I would've liked an option to dialyzer to do this (so I don't
>> need to replicate how I run dialyzer, which is sort of complicated). Also,
>> typer seems to require source code, and I would like to be able to do this
>> directly on the beams.
>>
>> /Jesper
>>
>> On Tue, Jan 7, 2020 at 2:21 PM Fernando Benavides <
>> elbrujohalcon@REDACTED> wrote:
>>
>>> You can use TypER for that, IIRC.
>>> Just remove your specs and run typer on your code, like you would run
>>> dialyzer.
>>> http://erlang.org/doc/man/typer.html
>>>
>>> On Tue, Jan 7, 2020 at 9:46 AM Jesper Eskilson <
>>> jesper.eskilson@REDACTED> wrote:
>>>
>>>> Hi,
>>>>
>>>> Often when I'm chasing down dialyzer errors, I want to see the success
>>>> typing of a function. Is there a way to do that?
>>>>
>>>> /Jesper
>>>> --
>>>>
>>>> *Jesper Eskilson*
>>>> Senior Software Engineer
>>>> Kred Core
>>>> +46-72-855-8421
>>>>
>>>> Klarna Bank AB (publ)
>>>> Sveavägen 46, 111 34 Stockholm
>>>> Tel: +46 8 120 120 00 <+46812012000>
>>>> Reg no: 556737-0431
>>>> klarna.com
>>>>
>>>>
>>>
>>> --
>>>
>>> <https://about.me/elbrujohalcon?promo=email_sig&utm_source=product&utm_medium=email_sig&utm_campaign=gmail_api&utm_content=thumb>
>>> Brujo Benavides
>>> about.me/elbrujohalcon
>>> <https://about.me/elbrujohalcon?promo=email_sig&utm_source=product&utm_medium=email_sig&utm_campaign=gmail_api&utm_content=thumb>
>>>
>>
>>
>> --
>>
>> *Jesper Eskilson*
>> Senior Software Engineer
>> Kred Core
>> +46-72-855-8421
>>
>> Klarna Bank AB (publ)
>> Sveavägen 46, 111 34 Stockholm
>> Tel: +46 8 120 120 00 <+46812012000>
>> Reg no: 556737-0431
>> klarna.com
>>
>>

-- 

*Jesper Eskilson*
Senior Software Engineer
Kred Core
+46-72-855-8421

Klarna Bank AB (publ)
Sveavägen 46, 111 34 Stockholm
Tel: +46 8 120 120 00 <+46812012000>
Reg no: 556737-0431
klarna.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20200109/a982e182/attachment.htm>