LeventErkok/sbv — Issue #38: popCount + testBit
Author: LeventErkok
Created: 2012-02-13 07:54:37+00:00
State: open

Override default definitions of popCount and testBit to "bail out" in case the argument is symbolic, and point out the use of the sbv-replacement in the latter case.

Note that popCount is only available in GHC >= 7.4.1, so we might wait for the next HP release that'll have it. (Otherwise, we'd need some __GLASGOW_HASKELL__ define magic..)