]> Git — Sourcephile - haskell/symantic.git/blob - Language/Symantic/Test.hs
Map
[haskell/symantic.git] / 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 ]