Migrate PluginSimpleTests (#4259)

This commit is contained in:
soulomoon 2024-05-29 11:57:17 +08:00 committed by GitHub
parent 4f7a0fcd50
commit 496f3137f5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -10,8 +10,11 @@ import Language.LSP.Protocol.Types hiding (SemanticTokenAbsolute (..),
import Language.LSP.Test
import System.FilePath
-- import Test.QuickCheck.Instances ()
import Config
import Test.Hls.Util (EnvSpec (..), OS (..),
knownBrokenForGhcVersions,
knownBrokenInSpecificEnv)
import Test.Tasty
import TestUtils
tests :: TestTree
tests =
@ -36,9 +39,7 @@ tests =
-- Error: cabal: Failed to build ghc-typelits-natnormalise-0.7.7 (which is
-- required by plugin-1.0.0). See the build log above for details.
ignoreFor (BrokenForGHC [GHC96, GHC98]) "fragile, frequently times out" $
ignoreFor (BrokenSpecific Windows [GHC94]) "ghc-typelist-natnormalise fails to build on GHC 9.4.2 for windows only" $
testSessionWithExtraFiles "plugin-knownnat" "simple plugin" $ \dir -> do
testWithExtraFiles "simple plugin" "plugin-knownnat" $ \dir -> do
_ <- openDoc (dir </> "KnownNat.hs") "haskell"
liftIO $ writeFile (dir</>"hie.yaml")
"cradle: {cabal: [{path: '.', component: 'lib:plugin'}]}"