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.
This commit is contained in:
Moritz Kiefer 2019-06-11 11:15:12 +02:00 committed by mergify[bot]
parent 501a4a1b9f
commit 1d3d46ea76

View File

@ -49,7 +49,4 @@ data Event
-- resource @resource@ changed to @contents -- resource @resource@ changed to @contents
-- NOTE(JM,MH): Keep the contents lazy as we rely on it in -- NOTE(JM,MH): Keep the contents lazy as we rely on it in
-- 'manageOpenVRs'. -- 'manageOpenVRs'.
| EventFileValidation Int Int
-- ^ @EventFileValidation finishedValidations totalValidations @
-- How many validations have we finished of how many total.
deriving Show deriving Show