module OpenCloseTest (tests) where
import Control.Applicative.Combinators
import Control.Monad
import Language.LSP.Protocol.Message
import Language.LSP.Test
-- import Test.QuickCheck.Instances ()
import Config (testWithDummyPluginEmpty)
import Test.Hls (waitForProgressBegin,
waitForProgressDone)
import Test.Tasty
tests :: TestTree
tests = testWithDummyPluginEmpty "open close" $ do
doc <- createDoc "Testing.hs" "haskell" ""
void (skipManyTill anyMessage $ message SMethod_WindowWorkDoneProgressCreate)
waitForProgressBegin
closeDoc doc
waitForProgressDone