[PPL-devel] Re: Questionable feature of the C++ interface (GMP 4.0.1)

[Kevin Ryde]

Roberto Bagnara <bagnara at cs.unipr.it> writes:
>
> So what happens is that a pointer is converted to true or false and
> then converted to 1 or 0 and this is what is used to initialize the
> object.  Since this can give rise to bugs that are quite difficult
> to diagnose, I propose the above constructor is removed altogether,
> so that the compiler can complain loudly.

Sounds good to me.  I guess if someone actually wants to initialize
from a bool they can cast to an int first.