TFHOE/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 Raw.Test as Raw
  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 "TFHOE"
  20          [ Repr.tests
  21          , Raw.tests
  22          , Expr.tests
  23          , Type.tests
  24          -- , Trans.tests
  25          ]