~reykjalin/public-inbox

3 2

Request for diagnostics settings

Details
Message ID
<7CFB6EBE-07DD-4ED0-A137-3D7D807697C3@gmail.com>
DKIM signature
missing
Download raw message
Hi,

Is it possible to set diagnostics settings? For now I cannot find any settings for that.

I would really like to se the following diagnostic settings:

diagnostics = {
	typeErrors = false,
	undefinedFunctions =false,
	undefinedConstants =false,
	undefinedTypes =false,
	undefinedVariables =false,
	unusedSymbols =false,
	unusedVariables = false,
},

I would really appreciate if you could implement these settings. Otherwise I have so many missing external functions.....

== Feek
Details
Message ID
<05260CF0-BE78-4924-865F-3E4C63140BD4@thorlaksson.com>
In-Reply-To
<7CFB6EBE-07DD-4ED0-A137-3D7D807697C3@gmail.com> (view parent)
DKIM signature
missing
Download raw message
Hi Feek,

Just to be clear; this is about the Psalm extension, yes?

> Is it possible to set diagnostics settings? For now I cannot find any settings for that.
> 
> I would really like to se the following diagnostic settings:
> 
> diagnostics = {
> 	typeErrors = false,
> 	undefinedFunctions =false,
> 	undefinedConstants =false,
> 	undefinedTypes =false,
> 	undefinedVariables =false,
> 	unusedSymbols =false,
> 	unusedVariables = false,
> },


I’ll see if I can find the time to add support for this :)

It probably won’t be for several weeks, but you’re free to try to add this
yourself! I’d be happy to review and test patches.

You should also know that there’s likely a regression introduced in the LSP
configuration options in Nova 9 [0] that will prevent any actual work on this
until that’s been fixed. That issue is not under my control, so the wait might
be longer than expected.

[0] https://lists.sr.ht/~reykjalin/public-inbox/%3CB8A2DA29-5CEB-47B6-A055-6CB0E4BCF571%40erch.co%3E#%3C91F738A8-B0D9-4043-8A9D-B79DD65CD33F@thorlaksson.com%3E

-Kristófer R.
Details
Message ID
<748D77D9-062A-4BC8-983C-8593AF1AFDC2@thorlaksson.com>
In-Reply-To
<05260CF0-BE78-4924-865F-3E4C63140BD4@thorlaksson.com> (view parent)
DKIM signature
missing
Download raw message
Since this is about the Intelephense extension that makes it all the more reason
that I won’t be working on this anytime soon. Waiting for the Nova devs to fix
the regression introduced in Nova 9 will have to come first.

-Kristófer R.
Details
Message ID
<badeb212-936b-e7c3-d86d-27b216bc4b53@thorlaksson.com>
In-Reply-To
<05260CF0-BE78-4924-865F-3E4C63140BD4@thorlaksson.com> (view parent)
DKIM signature
missing
Download raw message
Hi, I've just added this to the upcoming version 1.3.0 that will be 
released later tonight. All the diagnostics options should be available 
with that version.

Hope that helps!

-- 

Best regards,
Kristófer R.
Reply to thread Export thread (mbox)