@@ -22,9 +22,14 @@ import Data.Generics.Sum
2222import Test.Inspection
2323import Test.HUnit
2424import Util
25+import System.Exit
2526
2627main :: IO ()
27−main = () <$ runTestTT tests
28+main = do
29+ res <- runTestTT tests
30+ case errors res + failures res of
31+ 0 -> exitSuccess
32+ _ -> exitFailure
2833
2934data Record = MkRecord
3035 { fieldA :: Int
@@ -169,6 +174,7 @@ subtypePrismGeneric = _Sub
169174sum1TypePrism :: Prism Sum1 Sum1 Int Int
170175sum1TypePrism = _Typed @Int
171176
177+tests :: Test
172178tests = TestList $ map mkHUnitTest
173179 [ $(inspectTest $ 'fieldALensManual === 'fieldALensName)
174180 , $(inspectTest $ 'fieldALensManual === 'fieldALensType)