Language/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 Repr.Test as Repr
  12 import qualified Type.Test as Type
  13 import qualified Trans.Test as Trans
  14
  15 main :: IO ()
  16 main =
  17         defaultMain $
  18         testGroup "Language.Symantic"
  19          [ Type.tests
  20          , Repr.tests
  21          , Expr.tests
  22          , Trans.tests
  23          ]