himari-1.1.1.0: test/HlintUnliftioSpec.hs

module HlintUnliftioSpec (spec) where

import Data.Text qualified as T
import Himari
import Test.Syd

spec :: Spec
spec = do
  describe "hlint unliftio preference rules" . beforeAll runHlintOnSample $ do
    describe "Control" $ do
      describe "Exception" $ do
        itWithOuter "catch should warn to use UnliftIO.Exception" $ \output -> do
          output `shouldSatisfy` containsWarning "UnliftIO.Exception.catch"

        itWithOuter "bracket should warn to use UnliftIO.Exception" $ \output -> do
          output `shouldSatisfy` containsWarning "UnliftIO.Exception.bracket"

        itWithOuter "finally should warn to use UnliftIO.Exception" $ \output -> do
          output `shouldSatisfy` containsWarning "UnliftIO.Exception.finally"

        itWithOuter "try should warn to use UnliftIO.Exception" $ \output -> do
          output `shouldSatisfy` containsWarning "UnliftIO.Exception.try"

      describe "Concurrent.MVar" $ do
        itWithOuter "withMVar should warn to use UnliftIO.MVar" $ \output -> do
          output `shouldSatisfy` containsWarning "UnliftIO.MVar.withMVar"

        itWithOuter "modifyMVar_ should warn to use UnliftIO.MVar" $ \output -> do
          output `shouldSatisfy` containsWarning "UnliftIO.MVar.modifyMVar_"

    describe "System.Timeout" $ do
      itWithOuter "timeout should warn to use UnliftIO.Timeout" $ \output -> do
        output `shouldSatisfy` containsWarning "UnliftIO.Timeout.timeout"

runHlintOnSample :: IO Text
runHlintOnSample = do
  (exitCode, stdoutOutput, stderrOutput) <-
    readProcess $
      proc "hlint" ["test/HlintSamples/UnliftioPreference.hs"]
  pure $ case exitCode of
    ExitSuccess -> convert stdoutOutput
    ExitFailure _ -> convert stdoutOutput <> convert stderrOutput

containsWarning :: Text -> Text -> Bool
containsWarning expectedMsg output = expectedMsg `T.isInfixOf` output