ychr-0.1.0.0: test/Main.hs

module Main (main) where

import Test.Tasty (defaultMain, testGroup)
import YCHR.CollectTest qualified
import YCHR.CompileTest qualified
import YCHR.ConvertTest qualified
import YCHR.DSLTest qualified
import YCHR.DesugarTest qualified
import YCHR.ErrorCodeTest qualified
import YCHR.ExhaustivenessTest qualified
import YCHR.GoldenTest qualified
import YCHR.MetaTest qualified
import YCHR.PExprRoundtripTest qualified
import YCHR.PExprTest qualified
import YCHR.ParserTest qualified
import YCHR.PrettyTest qualified
import YCHR.RenameTest qualified
import YCHR.RoundtripTest qualified
import YCHR.RunTest qualified
import YCHR.Runtime.HistoryTest qualified
import YCHR.Runtime.InterpreterTest qualified
import YCHR.Runtime.ReactivationTest qualified
import YCHR.Runtime.StoreTest qualified
import YCHR.Runtime.VarTest qualified
import YCHR.VM.SExprTest qualified

main :: IO ()
main = do
  golden <- YCHR.GoldenTest.tests
  defaultMain $
    testGroup
      "ychr"
      [ golden,
        YCHR.CollectTest.tests,
        YCHR.CompileTest.tests,
        YCHR.PrettyTest.tests,
        YCHR.RunTest.tests,
        YCHR.MetaTest.tests,
        YCHR.DSLTest.tests,
        YCHR.ConvertTest.tests,
        YCHR.DesugarTest.tests,
        YCHR.ErrorCodeTest.tests,
        YCHR.ExhaustivenessTest.tests,
        YCHR.ParserTest.tests,
        YCHR.PExprTest.tests,
        YCHR.PExprRoundtripTest.tests,
        YCHR.RoundtripTest.tests,
        YCHR.RenameTest.tests,
        YCHR.Runtime.VarTest.tests,
        YCHR.Runtime.StoreTest.tests,
        YCHR.Runtime.HistoryTest.tests,
        YCHR.Runtime.ReactivationTest.tests,
        YCHR.Runtime.InterpreterTest.tests,
        YCHR.VM.SExprTest.tests
      ]