Dialyzer: show success typing of a given function

[Tobias Lindahl]

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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20200109/1fea6295/attachment.htm>