2015-03-04 20:48:21 +00:00
|
|
|
{-# OPTIONS_GHC -fno-warn-orphans #-}
|
2014-05-10 13:10:34 +00:00
|
|
|
module TestUtils (
|
|
|
|
run
|
|
|
|
, runD
|
2014-08-12 16:11:32 +00:00
|
|
|
, runD'
|
2015-03-04 20:48:21 +00:00
|
|
|
, runE
|
|
|
|
, runNullLog
|
2014-08-12 16:11:32 +00:00
|
|
|
, shouldReturnError
|
2015-02-07 15:41:15 +00:00
|
|
|
, isPkgDbAt
|
|
|
|
, isPkgConfDAt
|
2014-05-10 13:10:34 +00:00
|
|
|
, module Language.Haskell.GhcMod.Monad
|
|
|
|
, module Language.Haskell.GhcMod.Types
|
|
|
|
) where
|
|
|
|
|
2015-03-04 20:48:21 +00:00
|
|
|
import Language.Haskell.GhcMod.Logging
|
2014-05-10 13:10:34 +00:00
|
|
|
import Language.Haskell.GhcMod.Monad
|
2015-03-04 20:48:21 +00:00
|
|
|
import Language.Haskell.GhcMod.Cradle
|
2014-05-10 13:10:34 +00:00
|
|
|
import Language.Haskell.GhcMod.Types
|
|
|
|
|
2015-03-04 20:48:21 +00:00
|
|
|
import Control.Arrow
|
|
|
|
import Control.Applicative
|
|
|
|
import Control.Monad (when)
|
|
|
|
import Control.Monad.Error (ErrorT, runErrorT)
|
|
|
|
import Control.Monad.Trans.Journal
|
2015-02-07 15:41:15 +00:00
|
|
|
import Data.List.Split
|
2015-03-04 20:48:21 +00:00
|
|
|
import Data.String
|
2015-02-07 15:41:15 +00:00
|
|
|
import System.FilePath
|
2015-03-04 20:48:21 +00:00
|
|
|
import System.Directory
|
2014-08-12 16:11:32 +00:00
|
|
|
import Test.Hspec
|
|
|
|
|
2015-03-04 20:48:21 +00:00
|
|
|
import Exception
|
|
|
|
|
|
|
|
testLogLevel :: GmLogLevel
|
|
|
|
testLogLevel = GmException
|
2014-05-10 13:10:34 +00:00
|
|
|
|
2014-08-21 05:16:56 +00:00
|
|
|
extract :: Show e => IO (Either e a, w) -> IO a
|
2014-07-22 17:45:48 +00:00
|
|
|
extract action = do
|
2014-08-21 05:16:56 +00:00
|
|
|
(r,_) <- action
|
|
|
|
case r of
|
|
|
|
Right a -> return a
|
|
|
|
Left e -> error $ show e
|
2014-07-22 17:45:48 +00:00
|
|
|
|
2015-03-04 20:48:21 +00:00
|
|
|
withSpecCradle :: IOish m => FilePath -> (Cradle -> m a) -> m a
|
|
|
|
withSpecCradle cradledir f =
|
|
|
|
gbracket (liftIO $ findSpecCradle cradledir) (liftIO . cleanupCradle) f
|
|
|
|
|
|
|
|
withGhcModEnvSpec :: IOish m => FilePath -> Options -> (GhcModEnv -> m a) -> m a
|
|
|
|
withGhcModEnvSpec dir opt f = withSpecCradle dir $ withGhcModEnv' opt f
|
2014-05-10 13:10:34 +00:00
|
|
|
|
2015-03-04 20:48:21 +00:00
|
|
|
runGhcModTSpec :: Options -> GhcModT IO a -> IO (Either GhcModError a, GhcModLog)
|
|
|
|
runGhcModTSpec opt action = do
|
|
|
|
dir <- getCurrentDirectory
|
|
|
|
runGhcModTSpec' dir opt action
|
2014-05-10 13:10:34 +00:00
|
|
|
|
2015-03-04 20:48:21 +00:00
|
|
|
runGhcModTSpec' :: IOish m
|
|
|
|
=> FilePath -> Options -> GhcModT m b -> m (Either GhcModError b, GhcModLog)
|
|
|
|
runGhcModTSpec' dir opt action = liftIO (canonicalizePath dir) >>= \dir' ->
|
|
|
|
withGhcModEnvSpec dir' opt $ \env -> do
|
|
|
|
first (fst <$>) <$> runGhcModT'' env defaultGhcModState
|
|
|
|
(gmSetLogLevel (logLevel opt) >> action)
|
2014-05-10 13:10:34 +00:00
|
|
|
|
|
|
|
-- | Run GhcMod
|
2014-07-12 09:16:16 +00:00
|
|
|
run :: Options -> GhcModT IO a -> IO a
|
2015-03-04 20:48:21 +00:00
|
|
|
run opt a = extract $ runGhcModTSpec opt a
|
2014-05-10 13:10:34 +00:00
|
|
|
|
|
|
|
-- | Run GhcMod with default options
|
2014-07-12 09:16:16 +00:00
|
|
|
runD :: GhcModT IO a -> IO a
|
2015-03-04 20:48:21 +00:00
|
|
|
runD =
|
|
|
|
extract . runGhcModTSpec defaultOptions { logLevel = testLogLevel }
|
2014-08-12 16:11:32 +00:00
|
|
|
|
2015-03-04 20:48:21 +00:00
|
|
|
runD' :: FilePath -> GhcModT IO a -> IO a
|
|
|
|
runD' dir =
|
|
|
|
extract . runGhcModTSpec' dir defaultOptions { logLevel = testLogLevel }
|
|
|
|
|
|
|
|
runE :: ErrorT e IO a -> IO (Either e a)
|
|
|
|
runE = runErrorT
|
|
|
|
|
|
|
|
runNullLog :: MonadIO m => JournalT GhcModLog m a -> m a
|
|
|
|
runNullLog action = do
|
|
|
|
(a,w) <- runJournalT action
|
|
|
|
when (w /= mempty) $ liftIO $ print w
|
|
|
|
return a
|
2014-08-12 16:11:32 +00:00
|
|
|
|
|
|
|
shouldReturnError :: Show a
|
|
|
|
=> IO (Either GhcModError a, GhcModLog)
|
|
|
|
-> Expectation
|
|
|
|
shouldReturnError action = do
|
|
|
|
(a,_) <- action
|
|
|
|
a `shouldSatisfy` isLeft
|
|
|
|
where
|
|
|
|
isLeft (Left _) = True
|
|
|
|
isLeft _ = False
|
2015-02-07 15:41:15 +00:00
|
|
|
|
|
|
|
isPkgConfD :: FilePath -> Bool
|
|
|
|
isPkgConfD d = let
|
|
|
|
(_dir, pkgconfd) = splitFileName d
|
|
|
|
in case splitOn "-" pkgconfd of
|
|
|
|
[_arch, _platform, _compiler, _compver, "packages.conf.d"] -> True
|
|
|
|
_ -> False
|
|
|
|
|
|
|
|
isPkgConfDAt :: FilePath -> FilePath -> Bool
|
|
|
|
isPkgConfDAt d d' | d == takeDirectory d' && isPkgConfD d' = True
|
|
|
|
isPkgConfDAt _ _ = False
|
|
|
|
|
|
|
|
isPkgDbAt :: FilePath -> GhcPkgDb -> Bool
|
|
|
|
isPkgDbAt d (PackageDb dir) = isPkgConfDAt d dir
|
|
|
|
isPkgDbAt _ _ = False
|
2015-03-04 20:48:21 +00:00
|
|
|
|
|
|
|
instance IsString ModuleName where
|
|
|
|
fromString = mkModuleName
|