@@ -277,12 +277,12 @@ addSucc g0 v numAdd xs
277
277
where
278
278
go :: GraphRep a b -> Node -> [b ] -> GraphRep a b
279
279
go g p l = IMS. adjust f p g
280
- where f (ps, l', ss) = let ! ss' = IM. insertWith (++) v l ss
280
+ where f (ps, l', ss) = let ! ss' = IM. insertWith addLists v l ss
281
281
in (ps, l', ss')
282
282
addSucc g v _ xs = IMS. differenceWith go g xs
283
283
where
284
284
go :: Context' a b -> [b ] -> Maybe (Context' a b )
285
- go (ps, l', ss) l = let ! ss' = IM. insertWith (++) v l ss
285
+ go (ps, l', ss) l = let ! ss' = IM. insertWith addLists v l ss
286
286
in Just (ps, l', ss')
287
287
288
288
addPred :: forall a b . GraphRep a b -> Node -> Int -> IM. IntMap [b ] -> GraphRep a b
@@ -291,12 +291,12 @@ addPred g0 v numAdd xs
291
291
where
292
292
go :: GraphRep a b -> Node -> [b ] -> GraphRep a b
293
293
go g p l = IMS. adjust f p g
294
- where f (ps, l', ss) = let ! ps' = IM. insertWith (++) v l ps
294
+ where f (ps, l', ss) = let ! ps' = IM. insertWith addLists v l ps
295
295
in (ps', l', ss)
296
296
addPred g v _ xs = IMS. differenceWith go g xs
297
297
where
298
298
go :: Context' a b -> [b ] -> Maybe (Context' a b )
299
- go (ps, l', ss) l = let ! ps' = IM. insertWith (++) v l ps
299
+ go (ps, l', ss) l = let ! ps' = IM. insertWith addLists v l ps
300
300
in Just (ps', l', ss)
301
301
302
302
clearSucc :: forall a b x . GraphRep a b -> Node -> IM. IntMap x -> GraphRep a b
0 commit comments