From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA25540; Wed, 12 Nov 2003 16:35:05 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA24966 for ; Wed, 12 Nov 2003 16:35:03 +0100 (MET) Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hACFZ3112227 for ; Wed, 12 Nov 2003 16:35:03 +0100 (MET) Received: from univ-savoie.fr (d85.lama.univ-savoie.fr [193.48.123.85]) by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id hACFZTGO007192 ; Wed, 12 Nov 2003 16:35:29 +0100 Message-ID: <3FB25357.5060401@univ-savoie.fr> Date: Wed, 12 Nov 2003 16:35:51 +0100 From: Christophe Raffalli User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.3.1) Gecko/20030428 X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] Rounding mode + extended References: <3FAF975F.5070105@univ-savoie.fr> <16305.25815.3793.545198@karryall.dnsalias.org> In-Reply-To: <16305.25815.3793.545198@karryall.dnsalias.org> X-Enigmail-Version: 0.73.1.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 8bit X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) X-Loop: caml-list@inria.fr X-Spam: no; 0.00; raffalli:01 raffalli:01 univ-savoie:01 caml-list:01 rounding:01 rounding:01 lama:01 univ-savoie:01 savoie:01 chablais:01 73376:01 lama:01 enigmail:01 mutt:01 christophe:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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