I’m trying to test this library with quickcheck. My core data type is an recursive ADT representing an ICU Message Format string.
I’ve derived a Generic instance for MessageFormatElement, and defined an Arbitrary instance using genericArbitrary from purescript-quickcheck.
Running my tests immediately blows the stack, presumably because the genericArbitrary definition isn’t stacksafe?
I see that Gen has a MonadRec instance, can I use that or purescript-safely to call genericArbitrary in a stacksafe way?
Am I better off manually writing the recursive part of arbitrary?
Is there anything else clearly wrong about what I’m attempting?
Any help appreciated.