Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Failed to parse warning: [{:"(", 1}, {:atom_part, 1, 'm'}... #377

Open
lukaszsamson opened this issue Dec 28, 2019 · 1 comment
Open

Failed to parse warning: [{:"(", 1}, {:atom_part, 1, 'm'}... #377

lukaszsamson opened this issue Dec 28, 2019 · 1 comment

Comments

@lukaszsamson
Copy link

Environment

  • Elixir & Erlang/OTP versions (elixir --version):
    Erlang/OTP 22 [erts-10.6] [source] [64-bit] [smp:8:8] [ds:8:8:10] [async-threads:1] [hipe]
    Elixir 1.9.4 (compiled with Erlang/OTP 22)
  • Which version of Dialyxir are you using? (cat mix.lock | grep dialyxir):
    master @ 62310a9

Current behavior

Failed to parse warning:
[{:"(", 1}, {:atom_part, 1, 'm'}, {:atom_part, 1, 'o'}, {:atom_part, 1, 'd'}, {:_, 1}, {:"fun(", 1}, {:")", 1}, {:",", 1}, {:atom_part, 1, 's'}, {:atom_part, 1, 'c'}, {:atom_part, 1, 'o'}, {:atom_part, 1, 'p'}, {:atom_part, 1, 'e'}, {:"::", 1}, {:atom_part, 1, 'a'}, {:atom_part, 1, 'n'}, {:atom_part, 1, 'y'}, {:"(", 1}, {:")", 1}, {:")", 1}, {:->, 1}, {:atom_part, 1, 'd'}, {:atom_part, 1, 'o'}, {:atom_part, 1, 'c'}, {:atom_part, 1, 's'}, {:"(", 1}, {:")", 1}]


Legacy warning:
lib/elixir_sense/core/introspection.ex:47: Type specification 'Elixir.ElixirSense.Core.Introspection':get_all_docs(mod_fun(),scope::any()) -> docs() is a subtype of the success typing: 'Elixir.ElixirSense.Core.Introspection':get_all_docs({atom(),_},_) -> #{'docs':=binary(), 'types':=binary(), 'callbacks'=>binary()}
@lukaszsamson
Copy link
Author

To reproduce

  1. clone https://github.com/elixir-lsp/elixir_sense
  2. in mix.exs add :overspecs dialyzer flag
  3. (optional ) bump dialyxir to github master
  4. mix deps.get && mix dialyzer

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant