factorizing Type1_From ast Type0

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

module Trans.Bool.Test where

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

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