2010-03-11 10:03:17 +00:00
|
|
|
module Check (checkSyntax) where
|
|
|
|
|
2011-05-24 07:00:47 +00:00
|
|
|
import Cabal
|
2010-03-11 10:03:17 +00:00
|
|
|
import Control.Applicative
|
2011-08-24 06:58:12 +00:00
|
|
|
import CoreMonad
|
2011-08-24 07:50:26 +00:00
|
|
|
import ErrMsg
|
|
|
|
import Exception
|
2010-04-28 12:43:32 +00:00
|
|
|
import GHC
|
2012-02-14 07:09:53 +00:00
|
|
|
import GHCApi
|
2011-05-24 07:00:47 +00:00
|
|
|
import Prelude hiding (catch)
|
2010-04-30 09:36:31 +00:00
|
|
|
import Types
|
2010-03-11 10:03:17 +00:00
|
|
|
|
|
|
|
----------------------------------------------------------------
|
|
|
|
|
2010-03-11 13:39:07 +00:00
|
|
|
checkSyntax :: Options -> String -> IO String
|
2012-02-14 07:19:48 +00:00
|
|
|
checkSyntax opt file = unlines <$> check opt file
|
2010-04-28 12:43:32 +00:00
|
|
|
|
|
|
|
----------------------------------------------------------------
|
|
|
|
|
2011-05-27 20:43:52 +00:00
|
|
|
check :: Options -> String -> IO [String]
|
2011-08-24 07:50:26 +00:00
|
|
|
check opt fileName = withGHC $ checkIt `gcatch` handleErrMsg
|
2010-03-11 10:03:17 +00:00
|
|
|
where
|
2011-08-24 07:50:26 +00:00
|
|
|
checkIt = do
|
|
|
|
(file,readLog) <- initializeGHC opt fileName options True
|
|
|
|
setTargetFile file
|
2012-08-06 00:43:47 +00:00
|
|
|
_ <- load LoadAllTargets
|
2011-08-24 07:50:26 +00:00
|
|
|
liftIO readLog
|
2012-02-27 02:23:56 +00:00
|
|
|
options
|
2012-02-27 03:37:11 +00:00
|
|
|
| expandSplice opt = ["-w:"] ++ ghcOpts opt
|
2012-08-06 00:43:47 +00:00
|
|
|
| otherwise = ["-Wall"] ++ ghcOpts opt
|