{-main :: IO ()-}
{-main = do-}
  {-Test.Parser.tests-}

import Test.Tasty
import Test.Tasty.QuickCheck as QC
import Test.QuickCheck (Testable)

import Data.List
import Data.Ord

import qualified Test.Parser
import qualified Test.Tape
import qualified Test.Eval

main = defaultMain tests

tests :: TestTree
tests = testGroup "Tests" [properties]

properties :: TestTree
properties = testGroup "Properties" qcProps

mkGroup :: Testable prop => TestName -> [(TestName, prop)] -> TestTree
mkGroup name tests = testGroup name $ map (uncurry QC.testProperty) tests

qcProps = [mkGroup "Parser" Test.Parser.properties
          ,mkGroup "Tape"   Test.Tape.properties
          ,mkGroup "Eval"   Test.Eval.properties
          ]