reflex icon indicating copy to clipboard operation
reflex copied to clipboard

Coincidence fails between two unrelated events

Open parenthetical opened this issue 4 years ago • 0 comments

I ran into some unexpected behavior where spider doesn't produce an occurrence when asking coincidences of an unrelated event within another like so:

coincidence . fmap (const e1) $ e2

I've added a test case for it but I don't have a fix. It might be relevant to know that it also happens with pushCheap instead of push/fmap.

parenthetical avatar Jul 12 '20 10:07 parenthetical