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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 799587EE20 for ; Mon, 19 Nov 2012 19:18:52 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.138.91.152; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=mailfrom; client-ip=98.138.91.152; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nm22-vm3.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.91.152; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm22-vm3.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlcBAAl3qlBiiluYm2dsb2JhbAA4BAmwEpMdIwEBAQEBCAkLCRQnghkFAQEEAQsgFQECFSIBAwsGBUYvAQ4BBhIGAYgMAQECCQYErhQJgm+EZAEjAwEjA4lXAQYKAQGMOYR8A4hajSmFZC1QiBBsg28 X-IronPort-AV: E=Sophos;i="4.83,280,1352070000"; d="scan'208";a="163042179" Received: from nm22-vm3.bullet.mail.ne1.yahoo.com ([98.138.91.152]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 19 Nov 2012 19:18:50 +0100 Received: from [98.138.90.54] by nm22.bullet.mail.ne1.yahoo.com with NNFMP; 19 Nov 2012 18:18:47 -0000 Received: from [98.138.89.199] by tm7.bullet.mail.ne1.yahoo.com with NNFMP; 19 Nov 2012 18:18:47 -0000 Received: from [127.0.0.1] by omp1057.mail.ne1.yahoo.com with NNFMP; 19 Nov 2012 18:18:47 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 916084.47738.bm@omp1057.mail.ne1.yahoo.com Received: (qmail 4662 invoked by uid 60001); 19 Nov 2012 18:18:47 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1353349127; bh=j9+B2SZiwjcOZFd/ycDWVDR5kiXMUmUDExmdwWDytjw=; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=0Q58jmi5ltpiz4gQwQgAplcg8bZiCtGw9ape/v4pHWiowyQdjl9gJVJrsaQx1lHzP8tS4XnenN6BKHknOhDIu67TqxCrrxkiCRPCO9KUAKrbl8p3bMkXxEs3ySquEhC29qxV331WenVnyk6OJxz9MgdKfLGhyUqZHIH8l8J4qpM= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=LIXs9h9BwT/CdKKamrCbNjHtCaj4x5RRWHSTrUf0RQrjkhwwkkbgzMFwjVUpUZ1Nh8l6SPzuu62peujn8eipffn+dAD6AxpZNeQZD+lCtlcPzzL01RUg7PmN3qpaftWT4e1M95dvZ/ADU6XvL1lsQx9c2NMpG71BGW/qTpzmNfo=; X-YMail-OSG: SG0g8WIVM1nww5MBIBYko9Iz8fwFoor0foEmuR.rZ86i_R. OLw9Rg5NLxtsG2fuWyH5gYmZIf8z8.KIyZnRVtJ9k4_lRlR3Onp57S8h2TFh lBuienaC3hasJ3V4pLk1xLWlilvcrUvDKfvyjEbt_UMdFrojSB7dC71jRYX9 HWNoifg7P0Zgnu9B1ISDwVoukcUVU6h7ylLjDyBlo7rVTvonza4NMe7EePI2 Sgo0097TZMdyWI7hGk3O_p0ai_az7hUjnlbHEP5gfnMoUFs2lix2Z7YRA1tX Q5Y_Yf5kXPAuVWeN9RoIjh.Sd8JexEfIb42OhCIt7I8B5TVfala7rFn3_YHn do_AcgoFY2jGsSAzLYUAGem8.JJWHGRcP1p3EvGjRFslbYcC4awi5.qY7ozX MXavx6YOgiwSg2c.gInYe9SdEjSnD1.8BUrA.pZTpmzic_TxZvTtZhLGF_uT 4ujzOQWSFGUvXmYlNdaPn44yo2afIkBjjL2Cl9iKTbVs2shOwn84cd6R1eRa ajeo- Received: from [195.23.39.71] by web111512.mail.gq1.yahoo.com via HTTP; Mon, 19 Nov 2012 10:18:46 PST X-Rocket-MIMEInfo: 001.001,SGksCgo.IFdvdWxkbid0ICd0eXBlIHQgPSBwcml2YXRlIHN0cmluZycgaGVscCB0aGUgY29tcGlsZXIgb3B0aW1pemUgdGhpcz8KCgpQb3NzaWJseSwgdGhvdWdoIHRoZSBzZW1hbnRpY3Mgd291bGQgY2hhbmdlOiB3aGF0IGJlZm9yZSB3YXMKYW4gYWJzdHJhY3QgdHlwZSBpcyBub3cgdHJhbnNsdWNlbnQgKGllLCBub3QgcXVpdGUgdHJhbnNwYXJlbnQpLgoKUmVnYXJkcywKRGFyaW8BMAEBAQE- X-Mailer: YahooMailWebService/0.8.126.470 References: <1353347369.78785.YahooMailNeo@web111510.mail.gq1.yahoo.com> <50AA7427.5080104@etorok.net> Message-ID: <1353349126.4420.YahooMailNeo@web111512.mail.gq1.yahoo.com> Date: Mon, 19 Nov 2012 10:18:46 -0800 (PST) From: Dario Teixeira Reply-To: Dario Teixeira To: =?iso-8859-1?Q?T=F6r=F6k_Edwin?= , "caml-list@inria.fr" In-Reply-To: <50AA7427.5080104@etorok.net> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] The verdict on "%identity" Hi, > Wouldn't 'type t =3D 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