llvm-extra-0.13.1: test/Main.hs

module Main where

import qualified DocTest.Main as DocTest
import qualified Test.Storable as Storable
import qualified Test.Vector as Vector

import qualified LLVM.Core as LLVM

import Data.Tuple.HT (mapFst)

import Control.Monad.IO.Class (liftIO)

import qualified Test.DocTest.Driver as DocTest


main :: IO ()
main = do
   LLVM.initializeNativeTarget

   DocTest.run $ do
      DocTest.main
      mapM_
         (\(msg,prop) -> do
            DocTest.printPrefix (msg++": ")
            DocTest.property =<< liftIO prop) $
         map (mapFst ("Storable."++)) Storable.tests ++
         map (mapFst ("Vector."++)) Vector.tests ++
         []