ghc-mod/Language/Haskell/GhcMod/Check.hs

43 lines
1.3 KiB
Haskell
Raw Normal View History

2013-05-18 21:16:37 +00:00
module Language.Haskell.GhcMod.Check (checkSyntax, check) where
2010-03-11 10:03:17 +00:00
import Control.Applicative
2013-03-13 04:17:22 +00:00
import Control.Monad
2011-08-24 06:58:12 +00:00
import CoreMonad
2011-08-24 07:50:26 +00:00
import Exception
2010-04-28 12:43:32 +00:00
import GHC
2013-05-17 01:00:01 +00:00
import Language.Haskell.GhcMod.ErrMsg
import Language.Haskell.GhcMod.GHCApi
import Language.Haskell.GhcMod.Types
import Prelude
2010-03-11 10:03:17 +00:00
----------------------------------------------------------------
2013-05-20 05:28:56 +00:00
-- | Checking syntax of a target file using GHC.
-- Warnings and errors are returned.
checkSyntax :: Options
-> Cradle
-> FilePath -- ^ A target file
-> IO String
2013-05-20 02:29:44 +00:00
checkSyntax opt cradle file = unlines <$> withGHC file (check opt cradle file)
2010-04-28 12:43:32 +00:00
----------------------------------------------------------------
2013-05-20 05:28:56 +00:00
-- | Checking syntax of a target file using GHC.
-- Warnings and errors are returned.
check :: Options
-> Cradle
-> FilePath -- ^ A target file
-> Ghc [String]
2013-09-03 05:40:51 +00:00
check opt cradle fileName = checkIt `gcatch` handleErrMsg ls
2010-03-11 10:03:17 +00:00
where
2011-08-24 07:50:26 +00:00
checkIt = do
2013-03-13 04:17:22 +00:00
readLog <- initializeFlagsWithCradle opt cradle options True
2013-03-01 07:42:22 +00:00
setTargetFile fileName
2013-03-15 05:40:36 +00:00
checkSlowAndSet
2013-03-13 04:17:22 +00:00
void $ 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
2013-09-03 05:40:51 +00:00
ls = lineSeparator opt