From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 604997EE25 for ; Thu, 31 Oct 2013 12:10:03 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.138.91.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=mailfrom; client-ip=98.138.91.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nm22-vm4.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.91.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm22-vm4.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApMDAH05clJiilu2lGdsb2JhbABMDYQTCKx/kmOBJxYOAQEBAQcLCwkSKoIgBQEBBAELIBUBAhUiAQMLBgUOOC8BDgEGEgYBiAYBAQIJBgSpcQmDAYRDASMDASMDiW4BBgoBAQGNc4EcOoQuA4lAjlKGNjVViG5whCo X-IPAS-Result: ApMDAH05clJiilu2lGdsb2JhbABMDYQTCKx/kmOBJxYOAQEBAQcLCwkSKoIgBQEBBAELIBUBAhUiAQMLBgUOOC8BDgEGEgYBiAYBAQIJBgSpcQmDAYRDASMDASMDiW4BBgoBAQGNc4EcOoQuA4lAjlKGNjVViG5whCo X-IronPort-AV: E=Sophos;i="4.93,608,1378850400"; d="scan'208";a="39955682" Received: from nm22-vm4.bullet.mail.ne1.yahoo.com ([98.138.91.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 31 Oct 2013 12:09:45 +0100 Received: from [98.138.90.56] by nm22.bullet.mail.ne1.yahoo.com with NNFMP; 31 Oct 2013 11:10:00 -0000 Received: from [98.138.88.235] by tm9.bullet.mail.ne1.yahoo.com with NNFMP; 31 Oct 2013 11:10:00 -0000 Received: from [127.0.0.1] by omp1035.mail.ne1.yahoo.com with NNFMP; 31 Oct 2013 11:10:00 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 906653.94556.bm@omp1035.mail.ne1.yahoo.com Received: (qmail 70508 invoked by uid 60001); 31 Oct 2013 11:10:00 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1383217800; bh=oG2jsmJL5XWAlTbqRM02IsQXfv4VV5qnEJtxKk6Q9n0=; 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=N5ee40ApbqxI7y9vYjXR2Q0MCJ/Yx1vZywoMjSoXlXqOfxdu9ua2aNaJwEIYjjsSdslF2CyCz7A5fGcKoUrJ4Tz0xGTkBLtjtY81iPrUUYlMDmHEkevrui7FESqqFMzo2jSNQeRFhs7bUzNVP5qlwCcGme3CCj5Y5royo/BoYJo= 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=IUNydw6TOqff84UDhegextJcQ0Kt41xpYoMCoNZPUfRaykkJeITdNiN/DjOIyiDs1imNyAesPtj8uQldPMJ8iU+8raYjDeI1hMxgyyWQhz30EDAhUrBipcaVaZKPjevvNB0yCpkaX/WC2oafQNn043lUdBHHssGruPi1UVPceSo=; X-YMail-OSG: lSGYTMsVM1lq40TQtgIiNZnxP5RM3oxhFM3GTCNg5.ywoZL vc.gdrxhfuVSa1RAMSmDQjnrUsDfNtfJTGfFh76jAXcmmNVE3Tpq_S29eyG6 sKzXopkZ3w1ZJIuym8D5w3HIAF1nnbu81OCl5N.iBMMJyYENOvFX0_msUcka tdf91vLws89NR5W5VA11zTB00As8l4cALH0GQqyL37SoEAP9FjXT5NY4lJ0P L2XLZS2F71PoskMXOMZht8XpIcCxnl7QCTVINTWYyAKFcGaLCXl5.oLioSgf byVIr82ZD5Lu7w4S4RWNFjhQ.8.dQR0J8R_QiOiJLCoN.r8Ok4PbsN5e95aw GYkh08WX9HjtWL01oz2custTMxHkYftE0tr63PiKsxjhAOGzLQ2qBAjkWCTf 7QoN5EAQsiUWNBEsQdIXIdf4UFhBQU6Y05eSGnY9ju7gQLzZAXXzeEJccMK. jLPd251P6FXziBaOWu1L7fSVxmOB6NEnnwslH_GioSBdOaN6SSrCA_9HXjD_ BEXBF7UHMbEUP28r2jCB3hmXQQwcyEZLO7TISM5yIr8EgFZqW30.rDvLvDZl E1BwYFUBK2QdVOG.bBek2JsL.ApHyvD39MGV98aM8ew-- Received: from [195.23.39.193] by web120406.mail.ne1.yahoo.com via HTTP; Thu, 31 Oct 2013 04:10:00 PDT X-Rocket-MIMEInfo: 002.001,SGksCgo.IFNvIHRoZWlycyAoICEhICkgb3BlcmF0b3Igd2lsbCBvdmVycmlkZSBQZXJ2YXNpdmVzJyBvbmUuCj4gV2hhdCdzIHRoZSBwcm9ibGVtP8KgIEFueXdheSBwcm9qZWN0cyB5b3UndmUgbWVudGlvbmVkIGRvbid0IHVzZQo.IExhenksIHNvIHRoZXJlJ3Mgbm8gY2hhbmNlIG9mICJvcGVyYXRvciBjbGFzaCIuCgpJIGRvbid0IHRoaW5rIGl0J3MgdGhhdCBzaW1wbGUuwqAgT25jZSAoISEpIGlzICJzdGFuZGFyZGlzZWQiIHRvIGJlIExhenkuZm9yY2UsCnBlb3BsZSBlbmNvdW50ZXJpbmcgaXQgd2hlbiABMAEBAQE- X-Mailer: YahooMailWebService/0.8.161.596 References: <1383167277.75943.YahooMailNeo@web120402.mail.ne1.yahoo.com> Message-ID: <1383217800.46170.YahooMailNeo@web120406.mail.ne1.yahoo.com> Date: Thu, 31 Oct 2013 04:10:00 -0700 (PDT) From: Dario Teixeira Reply-To: Dario Teixeira To: Dmitry Grebeniuk , OCaml mailing-list In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Operator for Lazy.force? Hi, > So theirs ( !! ) operator will override Pervasives' one. > What's the problem?=A0 Anyway projects you've mentioned don't use > Lazy, so there's no chance of "operator clash". I don't think it's that simple.=A0 Once (!!) is "standardised" to be Lazy.f= orce, people encountering it when reading third-party code will expect it to have that function, and are less likely to carefully read the third-party code to see if it has been redefined. This is not the case right now: though (!!) is often defined as Lazy.force, this is by no means universal, so one still has to check. With the above in mind, standardising (!!) to be Lazy.force will in effect make it a bad practice to redefine it, as is the case for the other standard operators.=A0 Note that the only commonly redefined operators are the arithmetic ones, and even those tend to be redefined only when there's little chance of shadowing (cf. Batteries Float module). All and all, standardising (!!) to be Lazy.force would result in many proje= cts having to use (!!!) instead, reserving the more convenient (!!) to the small number of projects that make heavy use of Lazy.force. Best regards, Dario Teixeira