Add cats effect laws checking for cats interop [WIP]

tmccarthy / bfect

Some bifunctor IO type classes

Apache License 2.0

21 stars 2 forks source link

Add cats effect laws checking for cats interop [WIP] #19

Open jchapuis opened 3 years ago

jchapuis commented 3 years ago

This one has some failures - I'm not sure what's the problem, the test setup or some real flaw

jchapuis commented 3 years ago

@tmccarthy this is the one with the cats-effect laws. As mentioned, there are some failures - but I did not investigate wether these failures are legitimate or not. I suspect they could be. Maybe you could have an eye at the build?

tmccarthy commented 3 years ago

Sorry @jchapuis I didn't realise this PR was different from the other one!

I think these are genuine failures. Ideally I think we would ignore those particular tests and merge this PR, with issues raised to fix the underlying issues. I'll see if I can get the chance to have a closer look in the next few days.