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

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