
14 Jan
2008
14 Jan
'08
6:16 p.m.
paul:
I was recently sent a patch for my Ranged Sets library which exported all the QuickCheck properties. I'd left them unexported on the grounds that they clutter up the documentation (although simplified versions are included in the documentation) and you can easily run them with the standard "quickcheck" script. The contributor, gwern0@gmail.com suggested an explicit test harness instead.
I'm not unduly bothered one way or the other, but I thought I'd ask the community: what is the best practice here?
Most libs seem to include an external Properties.hs or similar file. The only tension there is how much do you need to test thoroughly. You might still end up exporting more than you wish to. -- Don