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
|
2012-10-16 10:27:35 +00:00
|
|
|
import Prelude
|
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]
|
2012-12-07 05:27:02 +00:00
|
|
|
check opt fileName = withGHC' fileName $ 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
|
2013-02-12 05:21:48 +00:00
|
|
|
| expandSplice opt = "-w:" : ghcOpts opt
|
|
|
|
| otherwise = "-Wall" : ghcOpts opt
|