Please can you give me the unix command to apply the patch ?

Fred

On Jan 29, 2006, at 11:22 AM, Roberto Bagnara wrote:

Fred Mesnard wrote:

...

Any hint ?

Yes: try the attached patch. I will then ask you to do one or two extra tests when this is done.

...

Maybe I should use another email address for this kind of stuff ?

ppl-devel@cs.unipr.it would be better because the discussion could benefit other people. Ciao,

Roberto

-- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it Index: Float.inlines.hh =================================================================== RCS file: /cvs/ppl/ppl/src/Float.inlines.hh,v retrieving revision 1.16 diff -u -d -r1.16 Float.inlines.hh --- Float.inlines.hh 1 Jan 2006 08:27:34 -0000 1.16 +++ Float.inlines.hh 29 Jan 2006 07:13:14 -0000 @@ -334,13 +334,13 @@ u.parts.msp = (negative ? MSP_SGN_MASK : 0); u.parts.msp |= static_cast<uint64_t>(exponent + EXPONENT_BIAS) << (MANTISSA_BITS - 64); #if ULONG_MAX == 0xffffffffUL

• mpz_export(&u.parts.lsp, 0, 1, 8, 0, 0, mantissa)

• mpz_export(&u.parts.lsp, 0, 1, 8, 0, 0, mantissa);

#else u.parts.lsp = mpz_get_ui(mantissa); #endif mpz_tdiv_q_2exp(mantissa, mantissa, 64); #if ULONG_MAX == 0xffffffffUL

• mpz_export(&u.parts.lsp, 0, 1, 8, 0, 0, mantissa)

• mpz_export(&u.parts.lsp, 0, 1, 8, 0, 0, mantissa);

#else m = mpz_get_ui(mantissa); #endif