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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 87F677EEBF for ; Tue, 18 Aug 2015 13:11:36 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.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=mail3-smtp-sop.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of goswin-v-b@web.de designates 212.227.15.4 as permitted sender) identity=mailfrom; client-ip=212.227.15.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.web.de) identity=helo; client-ip=212.227.15.4; receiver=mail3-smtp-sop.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: A0BKAQCnEdNVnAQP49Rdyk4CgTBMAQEBAQEBEgEBAQEBBg0JCSEuhCQBAQQ6TwsYCSUPBSiITAEZyjEfhg8BCyCLUoUQF4MBgRQBBJUgjGmIYgyRRIQlgzsBAQE X-IPAS-Result: A0BKAQCnEdNVnAQP49Rdyk4CgTBMAQEBAQEBEgEBAQEBBg0JCSEuhCQBAQQ6TwsYCSUPBSiITAEZyjEfhg8BCyCLUoUQF4MBgRQBBJUgjGmIYgyRRIQlgzsBAQE X-IronPort-AV: E=Sophos;i="5.15,701,1432591200"; d="scan'208";a="143052852" Received: from mout.web.de ([212.227.15.4]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Aug 2015 13:11:35 +0200 Received: from frosties.localnet ([95.208.221.151]) by smtp.web.de (mrweb003) with ESMTPSA (Nemesis) id 0MPpD8-1ZMgj70VAg-0050Se for ; Tue, 18 Aug 2015 13:11:35 +0200 Received: from mrvn by frosties.localnet with local (Exim 4.84) (envelope-from ) id 1ZRenm-0002w4-8W for caml-list@inria.fr; Tue, 18 Aug 2015 13:11:34 +0200 Date: Tue, 18 Aug 2015 13:11:34 +0200 From: Goswin von Brederlow To: caml-list@inria.fr Message-ID: <20150818111134.GA11154@frosties> References: <55BF75F6.1040006@bioquant.uni-heidelberg.de> <8E1A640CE3374EB492981ADB0A2DA5C6@erratique.ch> <20150804092633.GC5689@frosties> <5C2023F4AF0549F58F3E4C9A6F8ABE84@erratique.ch> <20150814105551.GD31364@frosties> <55CDD0F2.1090200@zoho.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <55CDD0F2.1090200@zoho.com> User-Agent: Mutt/1.5.23 (2014-03-12) X-Provags-ID: V03:K0:s1BQaLuK6Zdf92M4tHgQPEs+wt4PBAL0IzsExR1cvmO9H/7evCx qdCN4I7uwl5LF8ju1AeQTkKWFwuyCGa97myjRrCI0E+XqAUnjiOsMFKgUWmty2MwvmIop9W I2Dn63yQO/E38uX4Xy1ZaDjDXrj4bh8eWfzTfiKuhIz+2FoyZ+bH9wtE7FtPfAs+V/FsAqG 1gF2Rq3FNu/TocJ6k/ESQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:wWcgeEvCDjw=:7Grh7rDnVsmKkN0blg7vrR YaxQnNessoGlRVjGTi3n/Zy9B5Br+vzn799AnUchd+ATz4mxQ0HYxuLqciM7p+z0Ne3rwm3Z5 L1cOVi6X5Qu83AssG3vfKGP517DO1vG32K35p3B+WTLRgg7uzcufuOVSrV1wPmAh+gtW4Yy7B OHERdzAXLRTbJdKexOJ9q8WaQ7WAjjDMHOhVVpZzllKoP30XDKAeo6s57+GV0xcZDilRKTFyT QWAljXy12aZ0ltgMqJC9cGrEawp6A5DxqaW0UOdJ5JnkNVe+ClAyhRi5Cpd2aVTAXphGmaSC1 Fc6zeMg1ZFuutZ/uike6Phh9BevhoKqRHZpL3a6YrBDavuBMN3wMZiBmEHau3yi6frmto11cf 727+tpYELHJ2rIdmB74Re/8GINe85ngKett5cyStPt8uougtlEkSjR6Y1gzDamfUaag9jF/7Z JPcvcqAgdbQ5fgoEoGBQiPkp7eFFaFB8oI1PBAckyjhd+JnA/xithZcB8r4HfuH3zbQWldQow E40XlAvEeod9T3NMDbXQtoS53PBPfJYx5zpqI4hl1TARHxF1H57cX4wQsVgyPkIttPOagoBZE e17sRzBwf9zCtffGUopgJzWmVhJlr1gYxlCF7/sKX64XF4A9UDBV84NvGe6zsctoNe5F/Yiab Z5OZ7HMIWzHV67YnHbn3RBJ3qsbxTylay11IJpjd4encabTa+EaIk2JDcbqcS1DFto0IyY/q9 9bm8GR9E46xhoG5X Subject: Re: [Caml-list] destructive local opens On Fri, Aug 14, 2015 at 01:28:50PM +0200, Drup wrote: > > >You can't qualifylocal values or values of the surrounding module so > >that is a no go. > > > >I also often use local open to access records, as in: > > > >let r = M.({ x = 1; y; z = depth; }) in > > You can avoid the local open altogether and write it like that: > > let r = {M. x = 1; y; z = depth } in > > It's even shorter. That only works because newer ocaml disambiguises (is that a word?) record labels when it determines the record type from the first label, right? So it's implicitly using M.y = y and M.z = depth. MfG Goswin