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

docs(vim-lsp): enable buildOnSave option #1382

Closed
wants to merge 2 commits into from

Conversation

tbruyelle
Copy link
Contributor

@tbruyelle tbruyelle commented Nov 17, 2023

Enabling this option gives better error detection.

For example, this code returns no diagnostics (errors in LSP lexic) if buildOnSave is false:

package main

func main() {
  xxx
}

While the undefined: xxx is part of the diagnostics when buildOnSave is true.

Contributors' checklist...
  • Added new tests, or not needed, or not feasible
  • Provided an example (e.g. screenshot) to aid review or the PR is self-explanatory
  • Updated the official documentation or not needed
  • No breaking changes were made, or a BREAKING CHANGE: xxx message was included in the description
  • Added references to related issues and PRs
  • Provided any useful hints for running manual tests
  • Added new benchmarks to generated graphs, if any. More info here.

It seems to me that enabling this option gives better error detection.

For example, this code returns no diagnostics (errors in LSP lexic) if
buildOnSave is false:

```
package main

func main() {
  xxx
}
```

While the `undefined: xxx` is part of the diagnostics when buildOnSave
is true.
Copy link
Member

@thehowl thehowl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This will stop working after #1297.

I think we should defer this either until jdkato comes back & starts merging the related PR work we're carrying on https://github.com/gno-playground/gnols, or we should fork, apply our patches and change buildOnSave, then merge this PR

@thehowl thehowl marked this pull request as draft November 24, 2023 12:24
@thehowl
Copy link
Member

thehowl commented Nov 24, 2023

Drafting until upstream Gnols is figured out in this regard.

@thehowl thehowl closed this Oct 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Development

Successfully merging this pull request may close these issues.

2 participants