Merge pull request #1483 from haskell/liquid-no-diagnostic-test-fixes

Some tidying up for tests
This commit is contained in:
Luke Lau 2019-12-21 02:42:03 +00:00 committed by GitHub
commit d36f5c0583
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 4 deletions

View File

@ -48,7 +48,7 @@ spec = describe "code actions" $ do
contents <- getDocumentEdit doc
liftIO $ contents `shouldBe` "main = undefined\nfoo x = x\n"
-- noDiagnostics
noDiagnostics
-- ---------------------------------
@ -67,7 +67,7 @@ spec = describe "code actions" $ do
contents <- skipManyTill publishDiagnosticsNotification $ getDocumentEdit doc
liftIO $ contents `shouldBe` "main = undefined\nfoo x = x\n"
-- noDiagnostics
noDiagnostics
-- ---------------------------------
@ -96,7 +96,7 @@ spec = describe "code actions" $ do
liftIO $ contents `shouldBe` "main = undefined\nfoo x = x\n"
sendNotification TextDocumentDidSave (DidSaveTextDocumentParams doc)
-- noDiagnostics
noDiagnostics
-- -----------------------------------

View File

@ -33,7 +33,7 @@ spec = do
Nothing -> expectationFailure "liquid haskell exe is NOT in $PATH"
Just exe -> do
version <- readProcess exe ["--numeric-version"] ""
version `shouldSatisfy` isPrefixOf "0.8.6.2"
version `shouldSatisfy` ("0.8.6" `isPrefixOf`)
-- ---------------------------------