From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 1CD5BBC6B for ; Mon, 21 Jan 2008 17:35:34 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAEdYlEfAXQInh2dsb2JhbACQGgEBAQgKKZo9 X-IronPort-AV: E=Sophos;i="4.25,227,1199660400"; d="scan'208";a="6999799" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 21 Jan 2008 17:35:34 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0LGZVLP001088 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 21 Jan 2008 17:35:33 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAEdYlEeBx2Aon2dsb2JhbACQGgEBAQEBBgQGCQgYmj0 X-IronPort-AV: E=Sophos;i="4.25,227,1199660400"; d="scan'208";a="8122630" Received: from nef2.ens.fr ([129.199.96.40]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Jan 2008 17:35:34 +0100 Received: from clipper.ens.fr (clipper-gw.ens.fr [129.199.1.22]) by nef2.ens.fr (8.13.6/1.01.28121999) with ESMTP id m0LGZWtE017554 for ; Mon, 21 Jan 2008 17:35:33 +0100 (CET) X-Envelope-To: Received: from [129.199.156.65] (rezo-156-65 [129.199.156.65]) by clipper.ens.fr (8.13.1/jb-1.1) id m0LGZVEt018853 for ; Mon, 21 Jan 2008 17:35:31 +0100 (MET) Subject: possible bug in serialization of double in intern.c/extern.c From: Mathias Kende To: OCaml List Content-Type: text/plain; charset=UTF-8 Date: Mon, 21 Jan 2008 17:34:52 +0100 Message-Id: <1200933292.13180.12.camel@localhost> Mime-Version: 1.0 X-Mailer: Evolution 2.21.5 Content-Transfer-Encoding: 8bit X-Virus-Scanned: by amavisd-milter (http://amavis.org/) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-3.1.4 (nef2.ens.fr [129.199.96.32]); Mon, 21 Jan 2008 17:35:33 +0100 (CET) X-Miltered: at concorde with ID 4794C9D3.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bug:01 intern:01 extern:01 bug:01 byterun:01 extern:01 serialize:01 serialize:01 intern:01 deserialize:01 deserialize:01 mathias:98 mathias:98 functions:01 functions:01 Hello, I found something that I believe to be a bug in the serialization of double: in byterun/extern.c the "caml_serialize_float_8" function just calls the "caml_serialize_block_8" function to serialize its float while in intern.c the "caml_deserialize_float_8" function calls the "caml_deserialize_block_float_8" function which performs more work than the "caml_deserialize_block_8" function. And indeed, I had trouble serializing custom values with *serialize_float_8 functions, until I replace these calls either by their *_block_8 or the *_block_float_8 equivalents (I suppose that the later is better). Should I fill a bug report for this? or is there something I do not know about the use of these functions? Thanks. Mathias