{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TupleSections #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Test where

import Test.Tasty

import qualified Expr.Test as Expr
-- import qualified AST.Test as AST
import qualified Repr.Test as Repr
import qualified Type.Test as Type
-- import qualified Trans.Test as Trans

main :: IO ()
main =
	defaultMain $
	testGroup "Language.LOL.Symantic"
	 [ -- AST.tests
	  Type.tests
	 , Expr.tests
	 , Repr.tests
	 -- , Trans.tests
	 ]