From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pB6FIiFc006439
	for <caml-list@sympa-roc.inria.fr>; Tue, 6 Dec 2011 16:18:44 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AsgAAJUx3k7RVdc2kGdsb2JhbABEqlQIIgEBAQEJCQ0HFAQhgXIBAQEBAwwGAiwBEicDDAEFBQs7IhIBBQEcBjWgBAqOT4UuiS4CBQqLKASUZo1sPYFLgi0
X-IronPort-AV: E=Sophos;i="4.71,306,1320620400"; 
   d="scan'208";a="134185127"
Received: from mail-lpp01m010-f54.google.com ([209.85.215.54])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Dec 2011 16:18:39 +0100
Received: by lagv3 with SMTP id v3so1659570lag.27
        for <caml-list@inria.fr>; Tue, 06 Dec 2011 07:18:38 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:date
         :x-google-sender-auth:message-id:subject:from:to:content-type
         :content-transfer-encoding;
        bh=rFBPJF1vhMmgKN0baWjfIBYhwlaB8Mnscr7986AsydE=;
        b=cMLnQt+AxuqcWasaE76vVgTC5mrIAyZT82lsySGAxt+ZjJXBTH5TnF+HnwEdwbibPv
         DcP+XAhAsxPyBwd1wejBBNWM8AEXogABRKyuLZztz0ktolJF6hEGKi5ejNxwYg63Y/CT
         0GeVSk3YlqljGQC47gpFGFAZsOuhuMvx1+TKg=
MIME-Version: 1.0
Received: by 10.68.32.7 with SMTP id e7mr24396945pbi.48.1323184717723; Tue, 06
 Dec 2011 07:18:37 -0800 (PST)
Sender: damien.pous@gmail.com
Received: by 10.142.76.5 with HTTP; Tue, 6 Dec 2011 07:18:37 -0800 (PST)
In-Reply-To: <874nxersj1.fsf@frosties.localnet>
References: <CAMy6byWvDnvJj-Onxq1CZU09mA0BuqgR9=9gapp4FyXA0vkj9A@mail.gmail.com>
	<874nxersj1.fsf@frosties.localnet>
Date: Tue, 6 Dec 2011 16:18:37 +0100
X-Google-Sender-Auth: 2veg2S6RymlL6-vRZCjE9ueHwcQ
Message-ID: <CAMy6byW-5MqFrBABtzr+BnNz8QHq99dfYtz+VA1sh3_P60UBow@mail.gmail.com>
From: Damien Pous <Damien.Pous@inria.fr>
To: caml-list <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pB6FIiFc006439
Subject: Re: [Caml-list] hashing big ints

Thanks Jérémie, Goswin, and Boris.

I downloaded zarith and I'll switch to it, it looks really nice.

Just in case, I resume part of Boris' private answer: the generic hash
function is fixed for Big_int values in the trunk (bug 5290), it
should be ok from OCaml 3.13.

Damien