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