From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BB84B7EE49 for ; Thu, 19 Sep 2013 11:40:59 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of goswin-v-b@web.de) identity=pra; client-ip=212.227.15.4; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of goswin-v-b@web.de) identity=mailfrom; client-ip=212.227.15.4; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.web.de) identity=helo; client-ip=212.227.15.4; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq0BAMzFOlLU4w8Em2dsb2JhbABbv3+FP4EiFg4BAQEBAQYLCwkUKIIlAQEFOk8LGAklDwUoiCQBFq9KH4oaj24WgwiBAAOUH4Nchh6Ofg X-IPAS-Result: Aq0BAMzFOlLU4w8Em2dsb2JhbABbv3+FP4EiFg4BAQEBAQYLCwkUKIIlAQEFOk8LGAklDwUoiCQBFq9KH4oaj24WgwiBAAOUH4Nchh6Ofg X-IronPort-AV: E=Sophos;i="4.90,936,1371074400"; d="scan'208";a="33499828" Received: from mout.web.de ([212.227.15.4]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 19 Sep 2013 11:40:58 +0200 Received: from frosties.localnet ([95.208.119.3]) by smtp.web.de (mrweb103) with ESMTPSA (Nemesis) id 0MMEvB-1VHOCd2ZNF-0083Il for ; Thu, 19 Sep 2013 11:40:58 +0200 Received: from mrvn by frosties.localnet with local (Exim 4.80) (envelope-from ) id 1VMajJ-0006ri-Ps for caml-list@inria.fr; Thu, 19 Sep 2013 11:40:57 +0200 Date: Thu, 19 Sep 2013 11:40:57 +0200 From: Goswin von Brederlow To: caml-list@inria.fr Message-ID: <20130919094057.GC25801@frosties> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) X-Provags-ID: V03:K0:lmB92u/SWofSVHLvk82Em4+hq7bImCSYoGkaySEwubY0Hr3GmVm 5iiy/chx3g6jxx/gGt45qBHkhZJwUaLXXpLk1BBdPSMWUR3HvEZP73MqDPoaFq5LBfRRkrH 5DjTNIiuejU1zIJraVdLsuFmYW45/UwSHEbnfxcvummA/KIq0Ltq2L//qH+B/7BnlHsjwDJ r1GgcEKGJm1yYDMr9cfgQ== Subject: Re: [Caml-list] Expanding the Float Array tag On Mon, Sep 16, 2013 at 12:49:33PM -0400, Yotam Barnoy wrote: > Why do doubles need special handling though, even on a 32-bit system? My > suggestion is that the Double_tag be changed to Flat_tag, meaning that all > non-pointer objects can reside in this tag. The only issue I've found so > far is that polymorphic <, <=, > and >= would not work. However, these > operators should not be allowed on a vector anyway since there is no > natural ordering scheme for vectors. If there are other issues, please let > me know. Vectors are naturally ordered by the order of their first element that isn't equal. The Double_tag is also required for polymorphic access to the field since on 32 bit the index needs to be doubled and on all archs the float is boxed. MfG Goswin