module Language.Futhark.TypeCheckerTests (tests) where

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

tests :: TestTree
tests :: TestTree
tests =
  TestName -> [TestTree] -> TestTree
testGroup
    TestName
"Source type checker tests"
    [ TestTree
Language.Futhark.TypeChecker.TypesTests.tests
    ]