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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 3D5F97EE86 for ; Mon, 19 Nov 2012 19:28:42 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dhouse@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="dhouse@janestreet.com"; x-sender="dhouse@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of dhouse@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="dhouse@janestreet.com"; x-sender="dhouse@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@tot-dmz-mxout1.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="dhouse@janestreet.com"; x-sender="postmaster@tot-dmz-mxout1.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqABABp6qlAmacjlmWdsb2JhbAA8CYVZqjmSQysBAQEBAQgLCwcUJ4IeAQEFQAEBLAsBDwsLDQ0hIhIBBQEKEgYTEodpAw8DAQehWIp0hDcBBYUrA4lYBotLaRGEfJQugVGBHIoWgzAWKYQRghk X-IronPort-AV: E=Sophos;i="4.83,280,1352070000"; d="scan'208";a="182215714" Received: from mx5.janestreet.com (HELO tot-dmz-mxout1.janestreet.com) ([38.105.200.229]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 19 Nov 2012 19:28:36 +0100 Received: from tot-smtp.delacy.com ([172.27.22.35] helo=tot-is-smtp) by tot-dmz-mxout1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1TaW5C-00012t-6V for caml-list@inria.fr; Mon, 19 Nov 2012 13:28:34 -0500 Received: from tot-dmz-mxgoog1.delacy.com ([172.27.224.14] helo=mxgoog2.janestreet.com) by tot-is-smtp with esmtps (TLSv1:AES256-SHA:256) (Exim 4.72) (envelope-from ) id 1TaW5C-0000cd-55 for caml-list@inria.fr; Mon, 19 Nov 2012 13:28:34 -0500 Received: from mail-lb0-f198.google.com ([209.85.217.198]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1TaW5C-0005J2-00 for caml-list@inria.fr; Mon, 19 Nov 2012 13:28:34 -0500 Received: by mail-lb0-f198.google.com with SMTP id n1so2533147lba.9 for ; Mon, 19 Nov 2012 10:28:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:x-originating-ip:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=Akywy3RkVH9rz3jqdAd4vVnyQAgIbAGBRvqM1VpyAZQ=; b=vgFKCHZwMWzhEmVWF6TWMWaWtFiTjowMjawbdy6LXz9z0daWa6LIav9zzDh636lDN8 9xe/9fHb7vfU0GnqU9DQWP7x2VOs77Xw+NcMvUOjybjgIXkI3+qxwYDKr7RdoEzU3CYH M1mLFPJ9gDCVj760S+HkINc24FNInoLPi87l0= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:x-originating-ip:in-reply-to:references:date :message-id:subject:from:to:cc:content-type:x-gm-message-state; bh=Akywy3RkVH9rz3jqdAd4vVnyQAgIbAGBRvqM1VpyAZQ=; b=I4CUFcMGhtJKT66T20M3VcAgvy3Vy/T+feVYNJmviLQRmCpeeTppy3e3bLVjb0Gmmi wUsuVlX6OhZb9f5cGhxXaunIWV8FWJL/ULsQRX6voJ0RFcBI6bL8UNCzsiAJ35OUko6R hI1B8eH7/Muyf9mmmOB1ZOfkrhguSmP/eoo1ceWvnp4Yp+ql4dS3AI89X7EXJQf7USCV RuHbwaCB9kXgfioSzlpkWGuy9WJ5GHPWa2CAIatkSbb5VkTP5J+V7k9T5FGQbiN07n1P SRFeHNzjUz8llCigzKwFlQnd9cJBFntkMoKjF8r44DL16JWXRB8fBrip0GiIQV4UMS6E UX7g== Received: by 10.204.150.220 with SMTP id z28mr5227004bkv.125.1353349713060; Mon, 19 Nov 2012 10:28:33 -0800 (PST) MIME-Version: 1.0 Received: by 10.204.150.220 with SMTP id z28mr5226998bkv.125.1353349712922; Mon, 19 Nov 2012 10:28:32 -0800 (PST) Received: by 10.204.35.77 with HTTP; Mon, 19 Nov 2012 10:28:32 -0800 (PST) X-Originating-IP: [80.169.196.210] In-Reply-To: <1353349126.4420.YahooMailNeo@web111512.mail.gq1.yahoo.com> References: <1353347369.78785.YahooMailNeo@web111510.mail.gq1.yahoo.com> <50AA7427.5080104@etorok.net> <1353349126.4420.YahooMailNeo@web111512.mail.gq1.yahoo.com> Date: Mon, 19 Nov 2012 18:28:32 +0000 Message-ID: From: David House To: Dario Teixeira Cc: =?ISO-8859-1?Q?T=F6r=F6k_Edwin?= , "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 X-Gm-Message-State: ALoCoQkmKPBeFRM7tsDhk+oohqTf1AzqK9ytwuGl85p7PZ5pydCPJdu8c/hHC6+9iDI0cRykPECGYtiWUwAXX3oK1h5DOD/lSmsVZUbOldTby8m8UY7yP4PPUFu9NjnLp09H4d7VbqhB3IjSpKnk8+4F2kvfxb3V6w== Subject: Re: [Caml-list] The verdict on "%identity" If you wanted to investigate this yourself, you could compile with -S and look at the generated assembly. For such short functions, this is generally not very hard. On Mon, Nov 19, 2012 at 6:18 PM, Dario Teixeira wrote: > Hi, > >> Wouldn't 'type t = private string' help the compiler optimize this? > > > Possibly, though the semantics would change: what before was > an abstract type is now translucent (ie, not quite transparent). > > Regards, > Dario > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs