From 1d3d46ea768f6d14ceaf5ceb24d6ee297435705c Mon Sep 17 00:00:00 2001 From: Moritz Kiefer Date: Tue, 11 Jun 2019 11:15:12 +0200 Subject: [PATCH] Remove EventFileValidation (#1579) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit We never actually emit this event so it’s pretty much useless. If we do want to add progress reporting at some point, we should go with the recently added official support for that in LSP https://github.com/Microsoft/language-server-protocol/issues/70#issuecomment-483252666. --- src/Development/IDE/Types/LSP.hs | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/Development/IDE/Types/LSP.hs b/src/Development/IDE/Types/LSP.hs index 26e45cbd..6fe739aa 100644 --- a/src/Development/IDE/Types/LSP.hs +++ b/src/Development/IDE/Types/LSP.hs @@ -49,7 +49,4 @@ data Event -- resource @resource@ changed to @contents -- NOTE(JM,MH): Keep the contents lazy as we rely on it in -- 'manageOpenVRs'. - | EventFileValidation Int Int - -- ^ @EventFileValidation finishedValidations totalValidations @ - -- How many validations have we finished of how many total. deriving Show