From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <goswin-v-b@web.de>
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 47F317EEBF
	for <caml-list@sympa.inria.fr>; Thu,  6 Aug 2015 11:21:44 +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: A0BIAQBbJsNVnAQP49RbyW4CgUdMAQEBAQEBEgEBAQEBBg0JCSEuhCQBAQQnCwFWCxgJJQ8FKIhMARnGbR+FegELIItPhRAXgwGBFAEElQGMVYFJhwkMjS+DZIQlgXIkgSMBAQE
X-IPAS-Result: A0BIAQBbJsNVnAQP49RbyW4CgUdMAQEBAQEBEgEBAQEBBg0JCSEuhCQBAQQnCwFWCxgJJQ8FKIhMARnGbR+FegELIItPhRAXgwGBFAEElQGMVYFJhwkMjS+DZIQlgXIkgSMBAQE
X-IronPort-AV: E=Sophos;i="5.15,622,1432591200"; 
   d="scan'208";a="142164340"
Received: from mout.web.de ([212.227.15.4])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 06 Aug 2015 11:21:43 +0200
Received: from frosties.localnet ([95.208.221.151]) by smtp.web.de (mrweb001)
 with ESMTPSA (Nemesis) id 0Ls9JH-1YhvkP2qHH-013z04 for <caml-list@inria.fr>;
 Thu, 06 Aug 2015 11:21:42 +0200
Received: from mrvn by frosties.localnet with local (Exim 4.84)
	(envelope-from <goswin-v-b@web.de>)
	id 1ZNHMs-0004Sc-1b
	for caml-list@inria.fr; Thu, 06 Aug 2015 11:21:42 +0200
Date: Thu, 6 Aug 2015 11:21:41 +0200
From: Goswin von Brederlow <goswin-v-b@web.de>
To: caml-list@inria.fr
Message-ID: <20150806092140.GB16477@frosties>
References: <55BF6F1C.3050705@bioquant.uni-heidelberg.de>
 <BF0D69096EFA410695EC3AFB2CEEDABD@erratique.ch>
 <B52F2D68184048B39F261A5A96246437@erratique.ch>
 <55BF75F6.1040006@bioquant.uni-heidelberg.de>
 <8E1A640CE3374EB492981ADB0A2DA5C6@erratique.ch>
 <20150804092633.GC5689@frosties>
 <5C2023F4AF0549F58F3E4C9A6F8ABE84@erratique.ch>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <5C2023F4AF0549F58F3E4C9A6F8ABE84@erratique.ch>
User-Agent: Mutt/1.5.23 (2014-03-12)
X-Provags-ID:  V03:K0:u3a2io+40lrI5I3V1nDxXaT/lxeOGQrh/9nRM7lHTtRFffZv12Q
 spIiU70T7pDRYa4W7vBnMtID1yovV76FjhheZoW2kpjmfJXU4L92l+D6ljXBOeEICMrZXaz
 D7WL1XnSSTXZkNAb8tmQHAFWmoZgrfLnErPEW8sVzMviLI9wri6eYVyzsUUzDthT5VbN57D
 W/nAoMNjIOnqlkl4LQxoA==
X-UI-Out-Filterresults: notjunk:1;V01:K0:PBX49rBQaOw=:mXU+8/vWVJlj5Y3V7zTXlY
 PmviDRNMDvM6eY2WtryhdwE55UP3DE23tZW3IFpZubvoUd74HOLjDmUUskC692CIbfjga3xs7
 q1E5n4D+arPmLeLonuEsEXe7x4gAT8d52BAI61jxuQaD3u40c7ivINpTxmgEDPU/jyxm0T86v
 pvwqBrsdSaavMCTuR6KJLnOEDjJaAivr4e54/dCYbiPkira77xD+Fsh24YRE61hBiq4jbMfix
 bAMQqe2QkvgmNhmjCmSmQQwuKyyb+EjHjOVASY3m5G4QbuSgifAAh/yzRBE3hRNqQa6vqfof2
 u91IcjyyONkTx4YC52vbVFNgMzVVxPDhfWjd+Hji/3hfYwriCOO4RhhioPvSYICvJA1hq70Fe
 DkR+SH4Pa+VufhcjUqYvQ7o5+scDygXggsElyvkxzz4I+lrqkemu3frijZl4MFA+l8CwVt3xo
 ziWggDr/M9Tvdt04l4NiBaGgZYg8ROJTKrtn0HduRdvsqNOn0gvu/Soj7SYOBYwVZDyiQpBP1
 QIDnLiVX69b50DMATYorTK20VfAkY0x1HSwRxA0rMQpo9gx0RcYXa5J+nCa3+YUHm8oOj55yq
 K6wJSq2KSOwkE+Y0urSJeWnjw6Acs5o2Pt8SpQTR58SgZzPyYLlxNeQdDKh5rgg+3ttrVrDH2
 cTgQbJMqUqlPeCk/HVqm4tahx4ASulpH+e5nnGKFYoaHFwA==
Subject: Re: [Caml-list] destructive local opens

On Tue, Aug 04, 2015 at 10:38:44AM +0100, Daniel Bünzli wrote:
> Le mardi, 4 août 2015 à 10:26, Goswin von Brederlow a écrit :
> > > let ox = V2.((dot v ox) * ox) in
> > > V2.(3 * ox + oy)
> >  
> > What is wrong with that code?
> >  
> > I'm assuming V2 has:
> >  
> > val (+): t -> t -> t
> > val (*): int -> t -> t
> > val dot: t -> t -> int
> 
> It also has  
> 
> val ox : t  
> 
> Daniel

Whatever for? 

You should think up better names for your constants and singletons
that say what they are and are reasonably save from being accidentally
used. "ox" tells me nothing about what that might be and 1 and 2
letter names are definetly only for local and temporary bindings.

MfG
	Goswin