ghc-typelits-presburger-0.7.4.2: test/test.hs

{-# OPTIONS_GHC -F -pgmF tasty-discover #-}