<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2003/11/7d8ad9863510e4c4d81cecb131ca3ceb"
  from="Christophe Raffalli &lt;Christophe.Raffalli@u...&gt;"
  author="Christophe Raffalli"
  date="2003-11-12T15:35:05"
  subject="Re: [Caml-list] Rounding mode + extended"
  prev="2003/11/a493c676415d2097c4bf8c63da328c5c"
  next="2003/11/e8fd0dfd31a596714c76d480bdfae207"
  prev-in-thread="2003/11/775b1eba6ee2960fe6c3b44a4d7b1e87"
  next-in-thread="2003/11/22994e899a0946856c984ad66f2c32d8"
  prev-thread="2003/11/3609cc72597a8a20efdcae335433c69f"
  next-thread="2003/11/394f41f69a257eeacde18d22bf8fce94"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="RE: [Caml-list] Efficient and canonical set representation?">
<msg 
  url="2003/11/da696d358ae593a66f88c4f96053e5dc"
  from="Fred Smith &lt;fsmith@m...&gt;"
  author="Fred Smith"
  date="2003-11-07T17:27:29"
  subject="RE: [Caml-list] Efficient and canonical set representation?">
<msg 
  url="2003/11/a3a5477ee398828c88f87b617b2a8e9c"
  from="Diego Olivier Fernandez Pons &lt;Diego.FERNANDEZ_PONS@e...&gt;"
  author="Diego Olivier Fernandez Pons"
  date="2003-11-10T13:25:44"
  subject="RE: [Caml-list] Efficient and canonical set representation?">
<msg 
  url="2003/11/603ddddaea687d117252cafb1331d223"
  from="Christophe Raffalli &lt;Christophe.Raffalli@u...&gt;"
  author="Christophe Raffalli"
  date="2003-11-10T13:48:33"
  subject="[Caml-list] Rounding mode">
<msg 
  url="2003/11/e929b20f0d1d60fa83a3e258b722b56f"
  from="Eric Dahlman &lt;edahlman@a...&gt;"
  author="Eric Dahlman"
  date="2003-11-10T14:11:20"
  subject="Re: [Caml-list] Rounding mode">
<msg 
  url="2003/11/961e47bf02647ab3211df3fef8af0162"
  from="Brian Hurt &lt;bhurt@s...&gt;"
  author="Brian Hurt"
  date="2003-11-10T17:04:22"
  subject="Re: [Caml-list] Rounding mode">
<msg 
  url="2003/11/78956daed31d6bd15ea553616f84bd1a"
  from="Eric Dahlman &lt;edahlman@a...&gt;"
  author="Eric Dahlman"
  date="2003-11-10T20:36:35"
  subject="Re: [Caml-list] Rounding mode">
<msg 
  url="2003/11/8e821ea8fec9431d896c85e2f2a14314"
  from="Brian Hurt &lt;bhurt@s...&gt;"
  author="Brian Hurt"
  date="2003-11-10T22:10:21"
  subject="Re: [Caml-list] Rounding mode">
<msg 
  url="2003/11/41e94f145d604f09aacb6c4947bc279a"
  from="Xavier Leroy &lt;xavier.leroy@i...&gt;"
  author="Xavier Leroy"
  date="2003-11-17T21:15:15"
  subject="Re: [Caml-list] Rounding mode">
</msg>
</msg>
<msg 
  url="2003/11/0d75e2b6062f10b09f156d8ac6fd7586"
  from="Diego Olivier Fernandez Pons &lt;Diego.FERNANDEZ_PONS@e...&gt;"
  author="Diego Olivier Fernandez Pons"
  date="2003-11-12T17:20:58"
  subject="Re: [Caml-list] Rounding mode">
<msg 
  url="2003/11/885b32addf1eb9719d8a07a920a5ab60"
  from="Eric Dahlman &lt;edahlman@a...&gt;"
  author="Eric Dahlman"
  date="2003-11-13T15:49:11"
  subject="Re: [Caml-list] Rounding mode">
</msg>
<msg 
  url="2003/11/653fcdcc6b26a352eb994c594097f7c2"
  from="Diego Olivier Fernandez Pons &lt;Diego.FERNANDEZ_PONS@e...&gt;"
  author="Diego Olivier Fernandez Pons"
  date="2003-11-17T17:04:31"
  subject="Re: [Caml-list] Rounding mode">
</msg>
</msg>
</msg>
</msg>
<msg 
  url="2003/11/775b1eba6ee2960fe6c3b44a4d7b1e87"
  from="Christophe Raffalli &lt;christophe.raffalli@u...&gt;"
  author="Christophe Raffalli"
  date="2003-11-10T20:22:39"
  subject="Re: [Caml-list] Rounding mode">
</msg>
</msg>
<msg 
  url="2003/11/7d8ad9863510e4c4d81cecb131ca3ceb"
  from="Christophe Raffalli &lt;Christophe.Raffalli@u...&gt;"
  author="Christophe Raffalli"
  date="2003-11-12T15:35:05"
  subject="Re: [Caml-list] Rounding mode + extended">
<msg 
  url="2003/11/22994e899a0946856c984ad66f2c32d8"
  from="Xavier Leroy &lt;xavier.leroy@i...&gt;"
  author="Xavier Leroy"
  date="2003-11-13T17:35:42"
  subject="Re: [Caml-list] Rounding mode + extended">
</msg>
</msg>
</msg>
<msg 
  url="2003/11/d73e097c37835a027c40bfb469a54199"
  from="Julien Signoles &lt;Julien.Signoles@l...&gt;"
  author="Julien Signoles"
  date="2003-11-10T19:49:21"
  subject="RE: [Caml-list] Efficient and canonical set representation?">
</msg>
</msg>
</msg>
</thread>

<contents>

At this address, you will find a very small library for changing the
rounding mode from OCaml (works on 6 processors, but only tested on i486)

ftp://www.lama.univ-savoie.fr/pub/users/RAFFALLI/OCaml-round.tgz

...

Is it possible to use "extended" instead of "double" in OCaml for float
(I am ready to recompile OCaml for this)

What was the reason to have only one type of "float" ? Three types of
float (float, double and extended) do not explode the complexity of the
optimization for float array or float in record (I think).

Ok, you should have three additions +. +.. and +... :-(

Is this the only reason ?

-- 
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
---------------------------------------------


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

</contents>

</message>

