@@ -22,9 +22,14 @@ import Data.Generics.Sum
22import Test.Inspection
22import Test.Inspection
23import Test.HUnit
23import Test.HUnit
24import Util
24import Util
26main :: IO ()
27main :: IO ()
27−main = () <$ runTestTT tests
29+ res <- runTestTT tests
30+ case errors res + failures res of
29data Record = MkRecord
34data Record = MkRecord
30 { fieldA :: Int
35 { fieldA :: Int
@@ -169,6 +174,7 @@ subtypePrismGeneric = _Sub
169sum1TypePrism :: Prism Sum1 Sum1 Int Int
174sum1TypePrism :: Prism Sum1 Sum1 Int Int
170sum1TypePrism = _Typed @Int
175sum1TypePrism = _Typed @Int
172tests = TestList $ map mkHUnitTest
178tests = TestList $ map mkHUnitTest
173 [ $(inspectTest $ 'fieldALensManual === 'fieldALensName)
179 [ $(inspectTest $ 'fieldALensManual === 'fieldALensName)
174 , $(inspectTest $ 'fieldALensManual === 'fieldALensType)
180 , $(inspectTest $ 'fieldALensManual === 'fieldALensType)