Jeremy Bornstein
Jeremy Bornstein
I'm not sure what you see, but I don't see a reasonable way to break that pr into multiples; it's fairly straightforward and actually shouldn't even break old-style sessions. Obviously...
This is a reasonable analysis but at the same time, the changes are still straightforward and I have close to no investment in them being picked up by anyone else,...
Thanks! I had `import Control.Monad.IO.Class` already; out of paranoia I changed it to the more-specific version you suggested and the behavior is the same. I'm using GHC 8.6.4 and Hedgehog...
Thank you, that is useful to know. Since `property` is `PropertyT IO () -> Property` and I want to output the generated values themselves it looks like I need something...
boggle at that workaround.
here's what i'm using for this for now: ```python class BuildChainedLine(BuildLine): """BuildLine that tracks the last endpoint as 'last'.""" def __init__(self, *args, **kwargs): super().__init__(*args, **kwargs) self.last = None self.X =...
I'm not presently in a position to contribute directly but wanted to say how happy I am to see this work being done!