Dialyzer: show success typing of a given function

Jesper Eskilson jesper.eskilson@REDACTED
Wed Jan 8 10:47:36 CET 2020


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/20200108/c945f4ac/attachment.htm>


More information about the erlang-questions mailing list