Skip to content

Update config to last hls schema #416

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.

Sign up for GitHub

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

Merged
merged 1 commit into from
Jul 29, 2021
Merged

Update config to last hls schema #416

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
34 changes: 18 additions & 16 deletions package.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -67,28 +67,12 @@
"type": "object",
"title": "Haskell",
"properties": {
"haskell.hlintOn": {
"title": "Hlint",
"markdownDeprecationMessage": "**Deprecated**: Please use `#haskell.plugin.hlint.globalOn#` instead.",
"scope": "resource",
"type": "boolean",
"default": true,
"description": "Get suggestions from hlint"
},
"haskell.diagnosticsOnChange": {
"scope": "resource",
"type": "boolean",
"default": true,
"description": "Compute diagnostics continuously as you type. Turn off to only generate diagnostics on file save."
},
"haskell.completionSnippetsOn": {
"title": "Completion Snippets",
"markdownDeprecationMessage": "**Deprecated**: Please use `#haskell.plugin.ghcide-completions.config.snippetsOn#` instead.",
"scope": "resource",
"type": "boolean",
"default": true,
"description": "Show snippets with type information when using code completion"
},
"haskell.formatOnImportOn": {
"scope": "resource",
"type": "boolean",
Expand Down Expand Up @@ -177,6 +161,12 @@
"default": true,
"description": "Enables hlint diagnostics"
},
"haskell.plugin.hlint.config.flags": {
"markdownDescription": "Flags used by hlint",
"scope": "resource",
"default": [],
"type": "array"
},
"haskell.plugin.eval.globalOn": {
"scope": "resource",
"type": "boolean",
Expand Down Expand Up @@ -219,6 +209,12 @@
"default": true,
"description": "Enables Wingman (tactics) plugin"
},
"haskell.plugin.tactics.config.auto_gas": {
"markdownDescription": "The depth of the search tree when performing \"Attempt to fill hole\". Bigger values will be able to derive more solutions, but will take exponentially more time.",
"scope": "resource",
"default": 4,
"type": "integer"
},
"haskell.plugin.tactics.config.hole_severity": {
"enumDescriptions": [
"error",
Expand Down Expand Up @@ -252,6 +248,12 @@
"default": 2,
"type": "integer"
},
"haskell.plugin.tactics.config.proofstate_styling": {
"markdownDescription": "Should Wingman emit styling markup when showing metaprogram proof states?",
"scope": "resource",
"default": true,
"type": "boolean"
},
"haskell.plugin.pragmas.codeActionsOn": {
"scope": "resource",
"type": "boolean",
Expand Down