* OCaml with long double
@ 2006-11-06 11:19 Christophe Raffalli
2006-11-06 12:07 ` [Caml-list] " Alexander Usov
0 siblings, 1 reply; 2+ messages in thread
From: Christophe Raffalli @ 2006-11-06 11:19 UTC (permalink / raw)
To: caml-list
Hi,
Has anyone tried to patch OCaml to use long double (128 bits on intel/gcc) instead of double (64
bits on intel gcc) ?
--
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex
tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution
can check this signature. The public key is
stored on www.keyserver.net
---------------------------------------------
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] OCaml with long double
2006-11-06 11:19 OCaml with long double Christophe Raffalli
@ 2006-11-06 12:07 ` Alexander Usov
0 siblings, 0 replies; 2+ messages in thread
From: Alexander Usov @ 2006-11-06 12:07 UTC (permalink / raw)
To: caml-list
On 11/6/06, Christophe Raffalli <christophe.raffalli@univ-savoie.fr> wrote:
>
> Hi,
>
> Has anyone tried to patch OCaml to use long double (128 bits on intel/gcc) instead of double (64
> bits on intel gcc) ?
In reality they are not 128 bits, but just 80 bits long. The rest is
just to improve memory alignment.
I am not very authoritative to talk about patching ocaml, but judging
from the amount
of internal optimizations for handling of unboxed floating-point
numbers, changing it will be quite difficult.
--
Best regards,
Alexander.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2006-11-06 12:07 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-11-06 11:19 OCaml with long double Christophe Raffalli
2006-11-06 12:07 ` [Caml-list] " Alexander Usov
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox