Questions & Help>Questions

Can't make dialyzer works on Emacs + LSP setup

#emacs#elixir-ls#dev-environment
squiter

squiter

Hey folks, I can’t manage to make my Emacs + LSP setup to work… something is odd…

I’m using:
elixir 1.16.2-otp-25
erlang 25.3
Emacs 29.3

I’m using asdf to install elixir and erlang.

My lsp config:

(use-package lsp-mode
  :hook ((elixir-mode . lsp))
  :commands lsp
  :init
  (add-to-list 'exec-path *elixir-ls-path*))

I added that add-to-list to make some tests, because I saw that in some issues, but it seems it didn’t change anything… I was getting the same error before adding it..

And I’m getting this error in the lsp-log buffer:

11:16:20.484 [error] Task #PID<0.334.0> started from #PID<0.333.0> terminating
** (UndefinedFunctionError) function :dialyzer_options.build/1 is undefined (module :dialyzer_options is not available)
    :dialyzer_options.build([report_mode: :quiet, erlang_mode: true, analysis_type: :plt_build, files: [~c"**home-dir**/.asdf/installs/erlang/25.3/lib/kernel-8.5.4/ebin/auth.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/elixir/ebin/Elixir.Inspect.URI.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/stdlib-4.3/ebin/zip.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/elixir/ebin/Elixir.String.Chars.Integer.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/mix/ebin/Elixir.Mix.Tasks.Archive.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/elixir/ebin/Elixir.Module.Types.Helpers.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/elixir/ebin/Elixir.Module.Types.Pattern.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/compiler-8.2.4/ebin/beam_trim.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/elixir/ebin/Elixir.Inspect.Tuple.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/compiler-8.2.4/ebin/beam_ssa_opt.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/iex/ebin/Elixir.IEx.Info.Any.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/stdlib-4.3/ebin/otp_internal.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/mix/ebin/Elixir.Mix.Tasks.Local.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/kernel-8.5.4/ebin/application.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/kernel-8.5.4/ebin/inet_dns.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/elixir/ebin/Elixir.File.RenameError.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/compiler-8.2.4/ebin/core_lib.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/kernel-8.5.4/ebin/inet6_udp.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/mix/ebin/Elixir.Mix.Error.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/elixir/ebin/Elixir.IO.ANSI.Docs.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/stdlib-4.3/ebin/unicode_util.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/kernel-8.5.4/ebin/os.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/elixir/ebin/Elixir.Collectable.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/mix/ebin/Elixir.Mix.Project.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/stdlib-4.3/ebin/erl_abstract_code.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/elixir/ebin/elixir_erl_compiler.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/elixir/ebin/elixir_locals.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/iex/ebin/Elixir.IEx.Info.BitString.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/elixir/ebin/Elixir.Kernel.Typespec.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/kernel-8.5.4/ebin/inet_hosts.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/kernel-8.5.4/ebin/inet_config.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/iex/ebin/Elixir.IEx.Info.Time.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/elixir/ebin/Elixir.Date.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/mix/ebin/Elixir.Mix.Tasks.Deps.Precompile.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/elixir/ebin/Elixir.Enumerable.Date.Range.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/elixir/ebin/Elixir.IO.ANSI.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/compiler-8.2.4/ebin/cerl_inline.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/elixir/ebin/elixir_dispatch.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/kernel-8.5.4/ebin/file.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/stdlib-4.3/ebin/array.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/kernel-8.5.4/ebin/erl_erts_errors.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/stdlib-4.3/ebin/filelib.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/logger/ebin/Elixir.Logger.Backends.Console.beam", ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/bin/../lib/iex/ebin/Elixir.IEx.Info.Port.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/compiler-8.2.4/ebin/beam_ssa_share.beam", ~c"**home-dir**/.asdf/installs/erlang/25.3/lib/kernel-8.5.4/ebin/seq_trace.beam", ...], from: :byte_code, output_plt: ~c"**home-dir**/.asdf/installs/elixir/1.16.2-otp-25/.mix/elixir-ls-25.3_elixir-1.16.2"])
    dialyzer.erl:156: :dialyzer.run/1
    (language_server 0.8.2) lib/language_server/dialyzer/manifest.ex:146: ElixirLS.LanguageServer.Dialyzer.Manifest.build_elixir_plt/0
    (language_server 0.8.2) lib/language_server/dialyzer/manifest.ex:14: anonymous fn/1 in ElixirLS.LanguageServer.Dialyzer.Manifest.build_new_manifest/0
    (elixir 1.16.2) lib/task/supervised.ex:101: Task.Supervised.invoke_mfa/2
Function: #Function<2.124754306/0 in ElixirLS.LanguageServer.Dialyzer.Manifest.build_new_manifest/0>
    Args: []
7 comments
#emacs#elixir-ls#dev-environment
497 7

Showing Posts 1 to 7

slouchpie

slouchpie

Did you install elixir-ls yourself? I find that I sometimes have to rebuild it using a version of elixir that matches my project.

e.g. if the source code lives in ~/elixir-ls then:

cd ~/elixir-ls
vim .tool-versions
# edit tool-versions to match your project
asdf install
MIX_ENV=prod mix compile
MIX_ENV=prod mix elixir_ls.release2 -o <release_dir>

something like that, please don’t just copy-paste what I wrote.

0
Post #1
squiter

squiter OP

To be honest, I wasn’t trying to do the installation by hand… I just added the LSP package on my Emacs and everything was solved… at least it was like that some months ago when I tried last time.

This time, since I’m having problems, I tried to download the .zip from the github, pointing the LSP Emac’s package to that directory and I got the same error…

Now, after your message, I cloned the repo, build it using my versions, pointed the LSP Emac’s package to the release directory and go the same error again…

0
Post #2
slouchpie

slouchpie

I have no other ideas :frowning:

0
Post #3
cevado

cevado

last time I checked the lsp-mode package was using a version of the elixir-ls that had issues. you can set the elixir-ls version by overwriting lsp-elixir-ls-version.
I have something like on my config:

(setq lsp-elixir-ls-version "v0.20.0")
1
Post #4
squiter

squiter OP

It could be that!

I manage to make it work using Elixir 1.14… I’ll try with 1.16 and forcing the elixir-ls version on my configuration…

0
Post #5
cevado

cevado

this value i mentioned change the elixir-ls version that the lsp-mode script downloads through lsp-install-server
afaik, it downloads the prebuilt one with the most recent elixir that is available here:

0
Post #6
squiter

squiter OP

Interesting… the value was v0.20.0 and I changed to the last one v0.21.2 and then I run the lsp-install-server again, because it seems it didn’t work for the first time… and now, it’s working :slight_smile:

Thanks

1
Post #7
— All posts loaded —

Where Next? Top

View thread on forum (has 7 replies!)
emacs
elixir-ls
dev-environment
Home Questions & Help>Questions
2 495 7
Last post
REPLY VIEW THREAD WITH 7 POSTS

Trending in Questions Top

stjefim
Questions & Help>Questions

Durable Workflow Execution (temporal alternative for elixir)
Hello! Suppose you are building workflow (order / task / payment) processing system with the following requirements: Each workflow con...
/oban#workflow#durable-execution
22 4198 10
New
jonnycharles
Questions & Help>Questions

Looking for a Prawn-Like PDF Generation Library in Elixir
I’m in search of an Elixir library that offers PDF generation capabilities similar to Ruby’s Prawn. While there have been discussions abo...
#learning-elixir
117 2980 30
New
spammy
Questions & Help>Questions

Simple/light way to self host microapps and services?
I’m looking to build a personal workflow to quickly deploy web applications written in elixir/phoenix, for local consumption (ie not on t...
#deployment
35 1251 21
New
dli
Questions & Help>Questions

How to integrate Hologram with existing LiveView app?
Before I dive in myself, did anyone successfully sprinkle Hologram into their existing LiveView app? Looking for hints regarding: Addi...
/hologram#liveview
11 799 6
New
roeland
Questions & Help>Questions

Elixir-google-api deprecated, reason and alternatives?
Kia ora, We have been using elixir-google-api to connect to Google Drive. However, with the updates to Tesla due to CVEs this is now bro...
#googleapi
9 573 3
New
bottlenecked
Questions & Help>Questions

How to do proper post-release steps
Hi all, I wanted to ask how the community is dealing with post-release steps. Today we have Ecto migrations, which make sure that the db...
/phoenix#deployment
13 581 9
New
rahultumpala
Questions & Help>Questions

Help with load testing a custom protocol over TCP
Hello, I have an Elixir backend that implements a custom protocol over TCP. I want to load test the backend and assess the performance o...
#tcp#gen_tcp#loadtesting
1 555 5
New

Other Trending Topics Top

JesseHerrick
News>Announcing

Dexter - A fast, full-featured Elixir LSP optimized for large codebases
Hey, I’m Jesse and I’m the main contributor behind Dexter, a full-featured, lightning-fast Elixir LSP optimized for large codebases. It s...
#library#lsp#dexter
177 5417 56
New
jimsynz
News>Announcing

Beam Bots - Resilient Robotics on the BEAM
Beam Bots (or just BB for short) is a framework for building fault-tolerant robotics applications in Elixir using familiar OTP patterns. ...
/beam-bots#library#robotics#bb
119 2398 27
New
mcass19
News>Announcing

ExRatatui - Elixir bindings for the Rust ratatui terminal UI library
ExRatatui lets you cook up rich terminal UIs in Elixir, powered by Rust’s ratatui via Rustler NIFs. Build interactive terminal applicatio...
#library#rust#terminal#tui
58 2534 15
New
Damirados
News>Announcing

Emerge & Solve - a GUI framework for Elixir
Hello everyone. After busy few months I am happy to announce v0.1.0 of Emerge &amp; Solve. They are GUI (Emerge) and State management (S...
/nerves#library#frameworks#gui#native#state
59 2012 22
New
netoum
News>Announcing

Corex - Accessible and unstyled UI Phoenix components
Corex is an accessible, unstyled UI component library for Phoenix that integrates Zag.js state machines using Vanilla JavaScript and Live...
/phoenix#library#ui#liveview#hooks#accessibility#component#tableau
60 2033 18
New
ausimian
News>Announcing

Emily - A new MLX-based backend for Nx
Emily is an Elixir library that runs Nx computations on Apple’s MLX. Install it as the default Nx backend and Nx, defn, Axon, Nx.Serving,...
#library#libraries#emily
63 2036 19
New
Back to top

Questions & Help>Questions

Questions Questions ❯

Latest on Elixir Forum

Elixir Forum ❯

Sponsor Spotlight

Software Mansion

Phoenix, LiveView, multimedia pipelines, distributed systems. 400 engineers, Elixir since 2017. Available for hire.

Our Sponsors

Dashbit

Build Elixir applications with speed and confidence.

EEF

Supporting innovation across the BEAM ecosystem.

Coders51

We build reliable cloud platforms for business-critical systems.

AppSignal

Catch errors, track performance, monitor hosts and more.

Honeybadger

Error tracking, logs, uptime, and Just Enough APM. Built for developers.

Manning

Develop your skills with books, videos, and courses.

Defacto

Bringing learning, work and compliance together since 1987.

WyeWorks

Enabling companies to succeed by building software people love.

Software Mansion

The team behind Membrane, Popcorn, LiveDebugger. Available for hire.

Pragmatic Studio

Courses that'll move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

Categories:

Sub Categories:

Forums

Popular Tags

Our Sponsors

Dashbit

Build Elixir applications with speed and confidence.

EEF

Supporting innovation across the BEAM ecosystem.

Coders51

We build reliable cloud platforms for business-critical systems.

AppSignal

Catch errors, track performance, monitor hosts and more.

Honeybadger

Error tracking, logs, uptime, and Just Enough APM. Built for developers.

Manning

Develop your skills with books, videos, and courses.

Defacto

Bringing learning, work and compliance together since 1987.

WyeWorks

Enabling companies to succeed by building software people love.

Software Mansion

The team behind Membrane, Popcorn, LiveDebugger. Available for hire.

Pragmatic Studio

Courses that'll move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews