{-# 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 Repr.Test as Repr
import qualified Type.Test as Type
import qualified Trans.Test as Trans

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