Dialyzer: show success typing of a given function

[Fernando Benavides]

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