-
-
Notifications
You must be signed in to change notification settings - Fork 140
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
Unknown error occurred: %Protocol.UndefinedError{description: "", protocol: String.Chars, value: {47, 1}} #444
Comments
The following patch against 1.1.0 fixes it:
|
This was referenced Dec 28, 2022
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Precheck
Environment
Elixir & Erlang/OTP versions (elixir --version): 1.12.3 / OTP-24.0.6
Which version of Dialyxir are you using? (cat mix.lock | grep dialyxir): 1.0.0 (also fails with 1.1.0)
Current behavior
Running
mix dialyze
on a combined Erlang and Elixir project, I get the following error on my Erlang modules:I strongly suspect that it's due to the fact that the "line number" in Erlang BEAM files now contains the column number (cf erlang-lager/lager#558), and this is tripping dialyxir up.
If I use
--format raw
, I don't get the error. If I use--format short
, I seelib/dialyxir/formatter.ex:73: Dialyxir.Formatter.format_warning/2
in the stack trace.The text was updated successfully, but these errors were encountered: