git.iko.soy/generic-lens
on master help sign in
Fix tests
ee04b1cCsongor Kiss
test/Spec.hs+3−10
compare with master
unifiedsplit
@@ -120,14 +120,6 @@ sum3Param2Manual f (A3 a1 a2) = pure (\a1' a2' -> A3 a1' a2') <*> f a1 <
120sum3Param2Manual f (B3 s b1 a1 a2 b2) = pure (\a1' a2' -> B3 s b1 a1' a2' b2) <*> f a1 <*> f a2
120sum3Param2Manual f (B3 s b1 a1 a2 b2) = pure (\a1' a2' -> B3 s b1 a1' a2' b2) <*> f a1 <*> f a2
121sum3Param2Manual f (C3 c a i) = pure (\a' -> C3 c a' i) <*> f a
121sum3Param2Manual f (C3 c a i) = pure (\a' -> C3 c a' i) <*> f a
122
122
123−sum3Param3Derived :: Traversal (Sum3 a b c) (Sum3 a b c) xxx yyy
124−sum3Param3Derived = param @3
125−
126−sum3Param3Manual :: Traversal (Sum3 a b c) (Sum3 a b c) xxx yyy
127−sum3Param3Manual _ (A3 a1 a2) = pure (A3 a1 a2)
128−sum3Param3Manual _ (B3 s b1 a1 a2 b2) = pure (B3 s b1 a1 a2 b2)
129−sum3Param3Manual _ (C3 c a i) = pure (C3 c a i)
130−
131sum1PrismManual :: Prism Sum1 Sum1 Int Int
123sum1PrismManual :: Prism Sum1 Sum1 Int Int
132sum1PrismManual eta = prism g f eta
124sum1PrismManual eta = prism g f eta
133 where
125 where
@@ -241,8 +233,9 @@ tests = TestList $ map mkHUnitTest
241 , $(inspectTest $ 'sum1PrismManual === 'sum1TypePrism)
233 , $(inspectTest $ 'sum1PrismManual === 'sum1TypePrism)
242 , $(inspectTest $ 'intTraversalManual === 'intTraversalDerived)
234 , $(inspectTest $ 'intTraversalManual === 'intTraversalDerived)
243 , $(inspectTest $ 'sum3Param0Manual === 'sum3Param0Derived)
235 , $(inspectTest $ 'sum3Param0Manual === 'sum3Param0Derived)
236+ -- TODO: these tests pass with the new implementation
244−-- , $(inspectTest $ 'sum3Param1Manual === 'sum3Param1Derived)
237+ , $(inspectTest $ 'sum3Param1Manual === 'sum3Param1Derived)
245−-- , $(inspectTest $ 'sum3Param2Manual === 'sum3Param2Derived)
238+ , $(inspectTest $ 'sum3Param2Manual === 'sum3Param2Derived)
246 , $(inspectTest $ 'sum3Param3Manual === 'sum3Param3Derived)
239 , $(inspectTest $ 'sum3Param3Manual === 'sum3Param3Derived)
247 ]
240 ]
248
241