Additional Dialyzer warnings

[dashbitco]

Additional Dialyzer warnings

[josevalim]

Hi @kipcole9, can you please provide a repo and a command that reproduces those so i can take a look at the,?

[kipcole9]

Will build a minimal reproductive case José, am remote and offline most of this week so will reply when ready over the next weekend.

…

On 18 May 2019, at 9:40 pm, José Valim ***@***.***> wrote: Hi @kipcole9 <https://github.com/kipcole9>, can you please provide a repo and a command that reproduces those so i can take a look at the,? — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#53>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAAD4FYBWVP7USA6CSVOS4LPV7WZRANCNFSM4GWMH5QA>.

[josevalim]

It doesn’t need to be minimal, against the current lib is fine. :) -- *José Valimwww.plataformatec.com.br <http://www.plataformatec.com.br/>Founder and Director of R&D*

[kipcole9]

And after a loooong time I'm back on this. I've added this pull request that corrects the @spec for tag/3 and label/3 but I am still seeing dialyzer errors on calls to label/3 that I can't identify. I think this is the root of several other errors I'm seeing.

https://github.com/elixir-cldr/cldr is a repo that exhibits the issue with a single dialyzer error (I've commented out all other calls to label/3 to make this clearer). It's configured to use my fork of nimble_parsec which has the fixes for tag/3 and label/3 specs.

Running mix dialzyer should show a single error:

lib/cldr/language_tag/rfc5646_grammar.ex:21:call_with_opaque
The call NimbleParsec.label('Elixir.NimbleParsec':t(),<<97,32,118,97,108,105,100,32,66,67,80,45,52,55,32,108,97,110,103,117,97,103,101,32,116,97,103>>) contains an opaque term in 1st argument when terms of different types are expected in these positions}.

Apologies for keeping this issue open and inactive so long.

[josevalim]

No problem at all @kipcole9! If you can figure out the warnings, please let us know and we will gladly accept PRs. :)

[kipcole9]

The last PR I sent fixing two @specs resolves the outstanding dialyzer warnings (now that I've added @specs to my combinators.

Closing this issue. And hoping you might consider pushing master as a new release to hex?

[josevalim]

With pleasure, 0.5.1 is out. Thank you for the contributions @kipcole9, very appreciated!

[josevalim]

Actually, v0.5.1 is not out, there seems to be an issue with Hex. I will publish it as soon as it is fixed.