git.iko.soy/generic-lens
on master help sign in
Use new inspectTest functionality to convert to unit tests

This is mainly because failing tests stop the core dump plugin working correctly.

commit32835789566c7886a0f0f0459a4d526ca73fae43 authorMatthew Pickering <matthewtpickering@gmail.com> dateWed 17 Jan 2018, 17:30 (9 years ago) parentfdf8487
2 files changed+18−15
compare with master
unifiedsplit
generic-lens.cabal+2 test/Spec.hs+16−15
generic-lens.cabal+2
@@ -79,11 +79,13 @@ test-suite generic-lens-test
7979 type: exitcode-stdio-1.0
8080 hs-source-dirs: test
8181 main-is: Spec.hs
82+ other-modules: Util
8283
8384 build-depends: base >= 4.9 && <= 5.0
8485 , generic-lens
8586 , profunctors
8687 , inspection-testing >= 0.1
88+ , HUnit
8789
8890 default-language: Haskell2010
8991 ghc-options: -Wall -O2 -dsuppress-all
test/Spec.hs+16−15
@@ -20,9 +20,11 @@ import Data.Generics.Internal.Lens (prismPRavel)
2020import Data.Generics.Sum
2121import Data.Generics.Product.Boggle
2222import Test.Inspection
23+import Test.HUnit
24+import Util
2325
2426main :: IO ()
25−main = putStrLn "Hello world"
27+main = () <$ runTestTT tests
2628
2729data Record = MkRecord
2830 { fieldA :: Int
@@ -175,17 +177,16 @@ subtypePrismGeneric = _Sub
175177sum1TypePrism :: Prism Sum1 Sum1 Int Int
176178sum1TypePrism = _Typed @Int
177179
178−inspect $ 'fieldALensManual === 'fieldALensName
179−inspect $ 'fieldALensManual === 'fieldALensType
180−inspect $ 'fieldALensManual === 'fieldALensPos
181−inspect $ 'subtypeLensManual === 'subtypeLensGeneric
182−inspect $ 'typeChangingManual === 'typeChangingGeneric
183−inspect $ 'typeChangingManual === 'typeChangingGenericPos
184−inspect $ 'typeChangingManualCompose === 'typeChangingGenericCompose
185−inspect $ 'intTraversalManual === 'intTraversalDerived
186−inspect $ 'sum1PrismManual === 'sum1PrismB
187−inspect $ 'sum1PrismPManual === 'sum1PrismBP
188−inspect $ 'subtypePrismManual === 'subtypePrismGeneric
189−inspect $ 'sum1PrismManual === 'sum1TypePrism
190−
191−
180+tests = TestList $ map mkHUnitTest
181+ [ $(inspectTest $ 'fieldALensManual === 'fieldALensName)
182+ , $(inspectTest $ 'fieldALensManual === 'fieldALensType)
183+ , $(inspectTest $ 'fieldALensManual === 'fieldALensPos)
184+ , $(inspectTest $ 'subtypeLensManual === 'subtypeLensGeneric)
185+ , $(inspectTest $ 'typeChangingManual === 'typeChangingGeneric)
186+ , $(inspectTest $ 'typeChangingManual === 'typeChangingGenericPos)
187+ , $(inspectTest $ 'typeChangingManualCompose === 'typeChangingGenericCompose)
188+ , $(inspectTest $ 'intTraversalManual === 'intTraversalDerived)
189+ , $(inspectTest $ 'sum1PrismManual === 'sum1PrismB)
190+ , $(inspectTest $ 'sum1PrismPManual === 'sum1PrismBP)
191+ , $(inspectTest $ 'subtypePrismManual === 'subtypePrismGeneric)
192+ , $(inspectTest $ 'sum1PrismManual === 'sum1TypePrism) ]