Strange comment in NonEmpty

[nobrakal]

Hi,

I just passed by:

-- TODO: Here if @context (==s) g == Just ctx@ then we know for sure that
-- @induce1 (/=s) g == Just subgraph@. Can we exploit this?
filterContext :: Eq a => a -> (a -> Bool) -> (a -> Bool) -> NonEmptyGraph a -> NonEmptyGraph a
filterContext s i o g = maybe g go $ G.context (==s) (T.toGraph g)

(Here: https://github.com/snowleopard/alga/blob/master/src/Algebra/Graph/NonEmpty.hs#L628 )

So I tried and tests failed (one could have guessed it) with removeEdge 0 0 $ edge 0 0 .

In fact:

>>> isJust $ context (==0) $ edge 0 0
True
>>> induce1 (/= 0 ) $ edge 0 0
Nothing

His this true for non loop edges ?

[snowleopard]

@nobrakal Hmm, I think you are right and the comment is wrong. Feel free to send a PR removing it, or I will do it myself. Thanks!