factorizing Type1_From ast Type0

[haskell/symantic.git] / Language / Symantic / Trans / Test.hs

module Trans.Test where

import Test.Tasty
import qualified Trans.Bool.Test as Bool

tests :: TestTree
tests =
        testGroup "Trans"
         [ Bool.tests
         ]