Dialyzer: show success typing of a given function
Thu Jan 9 11:40:11 CET 2020
Jesper, I think you might want to have a look at the function
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 <
> 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.
> On Tue, Jan 7, 2020 at 2:21 PM Fernando Benavides <elbrujohalcon@REDACTED>
>> You can use TypER for that, IIRC.
>> Just remove your specs and run typer on your code, like you would run
>> On Tue, Jan 7, 2020 at 9:46 AM Jesper Eskilson <
>> jesper.eskilson@REDACTED> wrote:
>>> 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 Eskilson*
>>> Senior Software Engineer
>>> Kred Core
>>> Klarna Bank AB (publ)
>>> Sveavägen 46, 111 34 Stockholm
>>> Tel: +46 8 120 120 00 <+46812012000>
>>> Reg no: 556737-0431
>> Brujo Benavides
> *Jesper Eskilson*
> Senior Software Engineer
> Kred Core
> Klarna Bank AB (publ)
> Sveavägen 46, 111 34 Stockholm
> Tel: +46 8 120 120 00 <+46812012000>
> Reg no: 556737-0431
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-questions