Language/LOL/Symantic/Test.hs

   1 {-# LANGUAGE FlexibleInstances #-}
   2 {-# LANGUAGE OverloadedStrings #-}
   3 {-# LANGUAGE ScopedTypeVariables #-}
   4 {-# LANGUAGE TupleSections #-}
   5 {-# OPTIONS_GHC -fno-warn-orphans #-}
   6 module Test where
   7
   8 import Test.Tasty
   9
  10 import qualified Expr.Test as Expr
  11 -- import qualified AST.Test as AST
  12 import qualified Repr.Test as Repr
  13 import qualified Type.Test as Type
  14 -- import qualified Trans.Test as Trans
  15
  16 main :: IO ()
  17 main =
  18         defaultMain $
  19         testGroup "Language.LOL.Symantic"
  20          [ -- AST.tests
  21           Type.tests
  22          , Expr.tests
  23          , Repr.tests
  24          -- , Trans.tests
  25          ]