Remove EventFileValidation (#1579)
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.
commit1d3d46ea768f6d14ceaf5ceb24d6ee297435705c
authorMoritz Kiefer <moritz.kiefer@purelyfunctional.org>
dateTue 11 Jun 2019, 11:15 (7 years ago)
parent501a4a1
src/Development/IDE/Types/LSP.hs−3
@@ -49,7 +49,4 @@ data Event
4949 -- resource @resource@ changed to @contents
5050 -- NOTE(JM,MH): Keep the contents lazy as we rely on it in
5151 -- 'manageOpenVRs'.
52− | EventFileValidation Int Int
53− -- ^ @EventFileValidation finishedValidations totalValidations @
54− -- How many validations have we finished of how many total.
5552 deriving Show