module Test.DocTest.Gen where
import Prelude
ddgen :: [String] -> IO ()
ddgen (src : inp : out : opts) = ddgen_run src inp out opts
ddgen _ = ddgen_usage
ddgen_run
:: String
-> String
-> String
-> [String]
-> IO ()
ddgen_run _ _ out opts = ddgen_output out opts
ddgen_output :: String -> [String] -> IO ()
ddgen_output out opts = writeFile out $ unlines [
"import Prelude",
"import Test.DocTest",
"",
"main :: IO ()",
"main = doctest " ++ show opts]
ddgen_usage :: IO ()
ddgen_usage = putStrLn $ unlines [
"Usage:",
" {-# OPTIONS_GHC -F -pgmF doctest-driver-gen [-optF DOCTEST_OPTION]... #-}",
"",
"Make your driver file with the content."]