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 4A4D17EF53 for ; Fri, 14 Aug 2015 13:29:33 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of drupyog+caml@zoho.com) identity=pra; client-ip=74.201.84.153; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="drupyog+caml@zoho.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of drupyog+caml@zoho.com designates 74.201.84.153 as permitted sender) identity=mailfrom; client-ip=74.201.84.153; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="drupyog+caml@zoho.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sender153-mail.zoho.com) identity=helo; client-ip=74.201.84.153; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="postmaster@sender153-mail.zoho.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C2AQCZ0M1VlJlUyUpdhFjFdgkCgUlMAQEBAQEBEgEBAQEHCwsJHzCEJAEBAwE4CwE0AwMLCyEWDwkDAgECAUUGAQwIAQGIFAEDAQQFCLkhhVwCixwiKCWFPQEBCAEBAQEXB4tThRCELAGVH4FDiymCf4VtkTiEJW+CTAEBAQ X-IPAS-Result: A0C2AQCZ0M1VlJlUyUpdhFjFdgkCgUlMAQEBAQEBEgEBAQEHCwsJHzCEJAEBAwE4CwE0AwMLCyEWDwkDAgECAUUGAQwIAQGIFAEDAQQFCLkhhVwCixwiKCWFPQEBCAEBAQEXB4tThRCELAGVH4FDiymCf4VtkTiEJW+CTAEBAQ X-IronPort-AV: E=Sophos;i="5.15,677,1432591200"; d="scan'208";a="173605733" Received: from sender153-mail.zoho.com ([74.201.84.153]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 14 Aug 2015 13:29:32 +0200 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=zapps768; d=zoho.com; h=subject:to:references:from:message-id:date:user-agent:mime-version:in-reply-to:content-type; b=O7btDrPkKG1r9dCGJuPY0X2NRRWL6rslQinq/FT+4ACViTeTCIUtpmV5UcEa9ymAV/im6juNXGEl gm34uhz185bW81Np8MyaDikZgDmMH/j8M1flOXPzuNDnz3vhd5rs Received: from [172.17.152.187] (global-1-26.nat.csx.cam.ac.uk [131.111.184.26]) by mx.zohomail.com with SMTPS id 1439551766007320.379993542771; Fri, 14 Aug 2015 04:29:26 -0700 (PDT) To: Goswin von Brederlow , caml-list@inria.fr References: <55BF6F1C.3050705@bioquant.uni-heidelberg.de> <55BF75F6.1040006@bioquant.uni-heidelberg.de> <8E1A640CE3374EB492981ADB0A2DA5C6@erratique.ch> <20150804092633.GC5689@frosties> <5C2023F4AF0549F58F3E4C9A6F8ABE84@erratique.ch> <20150814105551.GD31364@frosties> From: Drup Message-ID: <55CDD0F2.1090200@zoho.com> Date: Fri, 14 Aug 2015 13:28:50 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.1.0 MIME-Version: 1.0 In-Reply-To: <20150814105551.GD31364@frosties> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] destructive local opens > 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.