Language/LOL/Symantic/Expr/Test.hs

   1 module Expr.Test where
   2
   3 import Test.Tasty
   4
   5 import qualified Expr.Lambda.Test as Lambda
   6 import qualified Expr.Bool.Test as Bool
   7 import qualified Expr.Int.Test as Int
   8
   9 tests :: TestTree
  10 tests =
  11         testGroup "Expr"
  12          [ Lambda.tests
  13          , Bool.tests
  14          , Int.tests
  15          ]