Hi Patrik,
| This might not be considered a real bug, bug I suspect a lot of users will
| find it annoying.
| ...
| It turns out that I need to set roughly -c70 to get this file through. I
| never needed this with the old hugs. I don't think the datatype is _that_
| complicated so I suggest that the default is changed upwards to some
| substantially higher number to make this error very unlikely. (Or change
| the counting procedure.)
Yes, the behavior you see here is not satisfactory. Because the cutoff
limit is used in two different places, and because the default setting is
more than adequate for one of those, I think it would be better to adopt
your second suggestion, changing the counting procedure in calculations
of derived instances.
All the best,
Mark
