Re: new module 'popcount'

Ben Pfaff wrote:
> I wanted to use verify_true instead of if...abort, but GCC -Wall
> gave an annoying "statement with no effect" warning.

verify_true() is meant to be used in an expression context. In a declaration
context (e.g. at the beginning of a function or of a compound statement)
you can use verify().

Bruno