Comments (2)
nikpivkin
commented on August 22, 2024
2
Hi @charlieegan3 thanks
No, I haven't encountered a single problem. Just wanted to explore the server.
from regal.
charlieegan3
commented on August 22, 2024
Hey @nikpivkin, thanks for filing this issue. You are correct that this is a feature the Regal language server does not currently support - yet!
It looks like we'd need to support off, messages and verbose options.
If configured, the server should send $/logTrace notifications.
Did you have a particular issue that you were trying to get to the bottom of when considering this? Currently, we just log to standard error when there's a message.
from regal.
Related Issues (20)
- Fix flaky TestLanguageServerMultipleFiles HOT 1
- Extend `redundant-existence-check`to include `:= x if x`
- Truncate `Text` field value in default pretty reporter when needed
- Extend `use-some-for-output-vars` to include unification vars, and `walk` return assignment
- Rule: `prefer-strings-count`
- Function arguments not considered by `prefer-snake-case`
- Extend `use-in-operator` to contains check in partial rule sets (or set values)
- Format code action (and the rego v1 formatting action) should report errors from formatting
- "unable to match client identifier for initializing client" error for neovim HOT 1
- Rule: `impossible-condition`
- Include JSON data from workspace/bundle in the linter and the language server HOT 5
- Regal 1.0 wish list
- Mysterious case of vars dropped in iteration after rewrite HOT 5
- False positive in `annotation-without-metadata`
- Show equivalent `opa eval` command in code lens eval result tooltip
- Eval: investigate if we can have output of `print` calls in other packages than the one evaluated
- Eval: add "Evaluate rule" (as opposed to document) code lens
- Move `external-reference` to `custom` category
- Update docs on custom rules to reflect new roast format
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from regal.