Re: "warning: assignment makes pointer from integer without a cast"

Mark Shields wrote:
> Not really a bug, but seems disconcerting...
>
> This is from compiling Koen's SAT solver front-end, available from
> http://www.math.chalmers.se/~koen/paradox/paradox-1.0-casc.tar.gz
>
> Using ghc 6.0.1, -O2
>
> ...
> Compiling: Sat.hs
> /tmp/ghc24790.hc: In function `Sat_identify_entry':
> /tmp/ghc24790.hc:903: warning: assignment makes pointer from integer without a 
> cast

That's a bug in Paradox: "identify" and "solver_new" are imported into
Haskell without any prototypes. Fixing this would require some changes
in Paradox, because the header containing the prototypes is a C++ header,
not a C one, but GHC uses a C compiler...

Cheers,
   S.

P.S.: Adding #includes for assert would be nice, too...