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

main :: IO ()
main =
	defaultMain $
	testGroup "TFHOE"
	 [ Repr.tests
	 , Raw.tests
	 , Expr.tests
	 , Type.tests
	 -- , Trans.tests
	 ]