From 1a3c261a1cb10de834fb0f47bf22172887898a4f Mon Sep 17 00:00:00 2001
From: Frederik Ramcke <folkmar.ramcke@student.chalmers.se>
Date: Fri, 7 Jun 2019 10:39:29 +0200
Subject: [PATCH] Expose diagnosticsOnChange option

Adds the option to package.yaml so that it shows up in VSCode's
settings.
---
 package.json | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/package.json b/package.json
index 73b14cf3..b0a1c04f 100644
--- a/package.json
+++ b/package.json
@@ -55,6 +55,13 @@
           "default": 100,
           "description": "Controls the maximum number of problems produced by the server."
         },
+        "languageServerHaskell.diagnosticsOnChange": {
+          "scope": "resource",
+          "type": "boolean",
+          "default": true,
+          "description":
+            "Compute diagnostics continuously as you type. Turn off to only generate diagnostics on file save."
+        },
         "languageServerHaskell.liquidOn": {
           "scope": "resource",
           "type": "boolean",