13 Aug
2012
13 Aug
'12
11:08 p.m.
On Mon, Aug 13, 2012 at 3:42 PM, Edward Kmett
Then code that only works for finite cases can use bitSize, code that already worked with infinite cases that never touched bitSize can continue to work, existing users that called bitSize but could only handle finite cases can change to FiniteBits and doesn't need to take a performance hit or fiddling with the Just constructor, and code that can work for the infinite case if it didn't crap out with bottom can safely upgrade to perhapsBitSize.
This will still break client code though. The #ifdefs would then have to go in the import lists instead. I like Lennart's suggestion to deprecate 'bitSize' but not remove it.