unbound-generics-0.1.2: test/test-main.hs

module Main where

import Test.Tasty

import TestCalc
import TestParallelReduction
import PropOpenClose
import TinyLam
import TestACompare
import TestShiftEmbed
import TestTH

main :: IO ()
main = defaultMain $ testGroup "unboundGenerics"
       [
         test_calc
       , test_parallelReduction
       , test_openClose
       , test_tinyLam
       , test_acompare
       , test_shiftEmbed
       , test_TH
       ]