dhall-1.10.0: tests/Tests.hs

module Main where

import Normalization (normalizationTests)
import Examples (exampleTests)
import Parser (parserTests)
import Regression (regressionTests)
import Tutorial (tutorialTests)
import TypeCheck (typecheckTests)
import Format (formatTests)
import Test.Tasty

allTests :: TestTree
allTests =
    testGroup "Dhall Tests"
        [ normalizationTests
        , exampleTests
        , parserTests
        , regressionTests
        , tutorialTests
        , formatTests
        , typecheckTests
        ]

main :: IO ()
main = defaultMain allTests