search

zio / interop-cats

ZIO instances for cats-effect type classes
Apache License 2.0
155 stars 66 forks source link

Something is off about zipPar #161

Open neko-kai opened 4 years ago

neko-kai commented 4 years ago

As evidenced by this change - https://github.com/zio/interop-cats/pull/156/commits/e2b5d6674c3a945f5f98864a1fc0bc71d981517f#diff-c3bac0f09429f2ac643a087eb697902cR121 - generating zipPar's in tests leads to non-termination of some of the laws - even when both sides of the generated zipPar are interruptible. This really shouldn't happen.

adamgfraser commented 4 years ago

Could it be related to https://github.com/zio/zio/issues/3073?

neko-kai commented 4 years ago

Quite possibly. I guess we should try generating zipPar's again after that issue is fixed.

neko-kai commented 4 years ago

zio/zio#3073 is closed, we (that is, somebody :^)) should try using zipPar in generators again and see what happens

joroKr21 commented 3 years ago

Still an issue