2018-03-16 21:06:38 +03:00
|
|
|
module Main
|
|
|
|
( main
|
|
|
|
) where
|
|
|
|
|
|
|
|
import System.Environment
|
|
|
|
import Test.DocTest
|
|
|
|
|
|
|
|
main :: IO ()
|
2018-03-17 02:11:57 +03:00
|
|
|
main = do
|
|
|
|
args <- getArgs
|
2018-03-19 17:09:59 +03:00
|
|
|
doctest (map ("-X" ++) extensions ++ "-isrc" : "--fast" : if null args then ["src"] else args)
|
2018-03-16 21:06:38 +03:00
|
|
|
|
|
|
|
extensions :: [String]
|
|
|
|
extensions =
|
2018-03-22 19:23:11 +03:00
|
|
|
[ "DataKinds"
|
|
|
|
, "DeriveFoldable"
|
2018-03-16 21:06:38 +03:00
|
|
|
, "DeriveFunctor"
|
|
|
|
, "DeriveGeneric"
|
|
|
|
, "DeriveTraversable"
|
|
|
|
, "FlexibleContexts"
|
|
|
|
, "FlexibleInstances"
|
2018-03-22 19:23:11 +03:00
|
|
|
, "MultiParamTypeClasses"
|
2018-03-16 21:06:38 +03:00
|
|
|
, "OverloadedStrings"
|
|
|
|
, "RecordWildCards"
|
2018-03-22 19:23:11 +03:00
|
|
|
, "StandaloneDeriving"
|
2018-03-16 21:06:38 +03:00
|
|
|
, "StrictData"
|
|
|
|
]
|