1 2module Main where 3 4import Test.HUnit 5import System.Exit 6 7import qualified Bits 8import qualified Builders 9import qualified Datatype 10import qualified Ext1 11import qualified Ext2 12import qualified FoldTree 13import qualified FreeNames 14import qualified GEq 15import qualified GMapQAssoc 16import qualified GRead 17import qualified GShow 18import qualified GShow2 19import qualified GZip 20import qualified GenUpTo 21import qualified GetC 22import qualified HList 23import qualified HOPat 24import qualified Labels 25import qualified Newtype 26import qualified Paradise 27import qualified Perm 28import qualified Reify 29import qualified Strings 30import qualified Tree 31import qualified Twin 32import qualified Typecase1 33import qualified Typecase2 34import qualified Where 35import qualified XML 36 37import qualified Encode -- no tests, should compile 38import qualified Ext -- no tests, should compile 39import qualified GRead2 -- no tests, should compile 40import qualified LocalQuantors -- no tests, should compile 41import qualified NestedDatatypes -- no tests, should compile 42import qualified Polymatch -- no tests, should compile 43 44 45tests = 46 "All" ~: [ Datatype.tests 47 , FoldTree.tests 48 , GetC.tests 49 , GMapQAssoc.tests 50 , GRead.tests 51 , GShow.tests 52 , GShow2.tests 53 , HList.tests 54 , HOPat.tests 55 , Labels.tests 56 , Newtype.tests 57 , Perm.tests 58 , Twin.tests 59 , Typecase1.tests 60 , Typecase2.tests 61 , Where.tests 62 , XML.tests 63 , Tree.tests 64 , Strings.tests 65 , Reify.tests 66 , Paradise.tests 67 , GZip.tests 68 , GEq.tests 69 , GenUpTo.tests 70 , FreeNames.tests 71 , Ext1.tests 72 , Ext2.tests 73 , Bits.tests 74 , Builders.tests 75 ] 76 77main = do 78 putStrLn "Running tests for syb..." 79 counts <- runTestTT tests 80 if (failures counts > 0) 81 then exitFailure 82 else exitSuccess 83