search

haskell-boxes / boxes

A pretty-printing library for laying out text in two dimensions, using a simple box model.
Other
37 stars 13 forks source link

Most QuickCheck properties blow up #16

Closed treeowl closed 8 years ago

treeowl commented 9 years ago

I had to disable all but one of the QuickCheck properties to avoid using more thyme than I had available and far too many rams. I suspect the Arbitrary instances aren't quite right, but I'm not sure.

nick8325 commented 8 years ago

You need to use size in your generators, see section 3.2 of http://www.cs.tufts.edu/~nr/cs257/archive/john-hughes/quick.pdf. At the moment you generate infinite boxes.