2013-09-20 12:10:31 +00:00
|
|
|
module Main where
|
|
|
|
|
|
2017-09-18 10:27:45 +00:00
|
|
|
import Build_doctests (flags, pkgs, module_sources)
|
|
|
|
|
import Data.Foldable (traverse_)
|
|
|
|
|
import Test.DocTest (doctest)
|
2013-09-20 12:10:31 +00:00
|
|
|
|
|
|
|
|
main :: IO ()
|
2016-08-09 11:27:51 +00:00
|
|
|
main = do
|
2017-09-18 10:27:45 +00:00
|
|
|
traverse_ putStrLn args -- optionally print arguments
|
2018-02-10 14:00:27 +00:00
|
|
|
doctest $ ["--no-magic"] ++ args
|
2017-09-18 10:27:45 +00:00
|
|
|
where
|
|
|
|
|
args = flags ++ pkgs ++ module_sources
|
