jwaldmann

I'm on it. First step is to trigger the bug in testing. I made an Arbitrary instance that produces larger numbers https://github.com/jwaldmann/containers/commit/80af818e01a0b0579a08e6091b1bab3cd6ebbdb1 (this may be generally useful?) and then indeed...

This `Large` generator already exists (https://hackage.haskell.org/package/QuickCheck-2.14.2/docs/Test-QuickCheck.html#t:Large) so I am using that 7d89135c95b0367d7f1ff367ad92d467ded4cee3 . All `intset-properties` look good - except for the Ord-related ones. An example is ``` prop_instanceOrdIntSet: [Failed] ***...

How should I proceed here? I think the issue is fixed. Rebase the fix on #788?

I think I did ( https://github.com/haskell/containers/blob/182b06bdbdd07aae62fdf96a312131e9a89419d2/containers/src/Data/IntSet/Internal.hs#L1217 ) I'm just asking how you want the PR.

Sorry for being not clear. I was waiting for #788 to land. It is orthogonal in the source - the connection is that it would have caught the bug in...

@treeowl I do use `unions` occasionally. Why should it "not exist" - is it because it is `mconcat` now? @codygman I don't see the analogy from Map to Set for...

Thanks for the pointer. I will try to reduce my test case. (It's https://gitlab.imn.htwk-leipzig.de/autotool/all0/-/blob/master/server-implementation-servant/test/ApiSpec.hs#L207 but that pulls in a lot of depencies.)

Fedora GNU/Linux on x86_64 > the code which is interrupted by the timeout is a busy loop which allocates more and more memory, ah yes! something like that is happening,...

I isolated this test case https://gitlab.imn.htwk-leipzig.de/autotool/all0/-/tree/master/hint-check but I give up (on debugging) for now, as it seems a Heisenbug to me.

Thanks for the quick response. I agree with the design (keep separate actions in separate functions). Is there a `ghci api`? Else, it looks like we'd have to re-implement some...