Wrong warning: Unused record field ([missing name].queue) #63

[Zabrane]

Hi @robertoaloi

The linter apparently returns a warning about a valid code (see here).

How to reproduce it:

-module(foo).
-export([ test/0 ]).
-record(?MODULE, {queue :: term()}).
test() -> #?MODULE{queue = ok}.

Many thanks Z.

[robertoaloi]

Thanks for reporting!

[Zabrane]

@robertoaloi Let me know when I can re-test the fix. Many thanks.

[robertoaloi]

@Zabrane Should be fixed now. Feel free to test with the latest main.

[Zabrane]

@robertoaloi Excellent. How am i supposed to test it? Usually, I just install ELP plugin for VSCode. Are there any instructions to follow to build it from source and configure it to work with VSCode?

[robertoaloi]

@Zabrane Compile elp from source using these instructions. Then open your VS Code settings and modify elpClient.serverPath to include the path from the produce binary. Ensure you reload the window or restart VS Code to ensure the new setting is applied.

[Zabrane]

@robertoaloi yeah, the bug seems to be fixed. I've tested it on two different projects:

$ elp version
elp 1.1.0+local

Could you please correct the install doc here to read this:

mkdir -p ~/bin
mv target/release/elp ~/bin
export PATH=$PATH:~/bin

Question: when the new pre-built binaries will be available for macOS (intel+arm) and Linux? Not everyone at work is allowed to install scala and rust on their local machine to compile from source (due to restrictive IT policies).

Many thanks for your help @robertoaloi

[robertoaloi]

@Zabrane Thanks for reporting, fixing the typo as we speak. The website itself is written in Markdown (e.g. https://github.com/WhatsApp/erlang-language-platform/blob/main/website/docs/get-started/install.md) so feel free to contribute should you find any other typo or missing information!

A release should happen this week. Ping @alanz

[Zabrane]

@Zabrane Thanks for reporting, fixing the typo as we speak. The website itself is written in Markdown (e.g. https://github.com/WhatsApp/erlang-language-platform/blob/main/website/docs/get-started/install.md) so feel free to contribute should you find any other typo or missing information!

A release should happen this week. Ping @alanz

@robertoaloi thanks a lot and keep up the good work.