futhark-0.25.37: src-testing/Language/Futhark/TypeCheckerTests.hs

module Language.Futhark.TypeCheckerTests (tests) where

import Language.Futhark.TypeChecker.ConsumptionTests qualified
import Language.Futhark.TypeChecker.ModulesTests qualified
import Language.Futhark.TypeChecker.TypesTests qualified
import Test.Tasty

tests :: TestTree
tests =
  testGroup
    "Source type checker tests"
    [ Language.Futhark.TypeChecker.TypesTests.tests,
      Language.Futhark.TypeChecker.ConsumptionTests.tests,
      Language.Futhark.TypeChecker.ModulesTests.tests
    ]