From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <vrotaru.md@gmail.com>
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 E8E1C7EEBF
	for <caml-list@sympa.inria.fr>; Tue,  4 Aug 2015 15:54:31 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  vrotaru.md@gmail.com) identity=pra; client-ip=209.85.215.48;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="vrotaru.md@gmail.com";
  x-sender="vrotaru.md@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  vrotaru.md@gmail.com designates 209.85.215.48 as permitted
  sender) identity=mailfrom; client-ip=209.85.215.48;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="vrotaru.md@gmail.com";
  x-sender="vrotaru.md@gmail.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@mail-la0-f48.google.com) identity=helo;
  client-ip=209.85.215.48;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="vrotaru.md@gmail.com";
  x-sender="postmaster@mail-la0-f48.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0D/AQDfwsBVmzDXVdFbhFeEKq0fMJJzAoExTAEBAQEBARIBAQEBAQYLCwkhLoQaCgEBBAECDxEdARsdAQMMBgUDAQIFNwICIgERAQUBHAYBNId2AQMSpyOBLj4xiz+BbIJ5i0oKGScNV4RWAQEBAQEBBAEBAQEBAQEVAQUOi0GFCAeCaYFDBZR6AYxPmAk1gRcXhAw+MYJMAQEB
X-IPAS-Result: A0D/AQDfwsBVmzDXVdFbhFeEKq0fMJJzAoExTAEBAQEBARIBAQEBAQYLCwkhLoQaCgEBBAECDxEdARsdAQMMBgUDAQIFNwICIgERAQUBHAYBNId2AQMSpyOBLj4xiz+BbIJ5i0oKGScNV4RWAQEBAQEBBAEBAQEBAQEVAQUOi0GFCAeCaYFDBZR6AYxPmAk1gRcXhAw+MYJMAQEB
X-IronPort-AV: E=Sophos;i="5.15,609,1432591200"; 
   d="scan'208";a="172638278"
Received: from mail-la0-f48.google.com ([209.85.215.48])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Aug 2015 15:54:31 +0200
Received: by lady2 with SMTP id y2so3864569lad.0
        for <caml-list@inria.fr>; Tue, 04 Aug 2015 06:54:30 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:references:in-reply-to:from:date:message-id:subject:to
         :cc:content-type;
        bh=5LzrQ4TCfw6rovW6xv56NZjRYRubl1NrM2Uu/sF89EE=;
        b=0bG6Q3LpxoDVz9SUGlgy5QrJNjMOYceOuyrebIVJjLWadxr24vh0PaJjf264nDTDRT
         I8K1oGKAPHPE5Y3a+l2ShANz+rG+s/0Ovp2wVnvMTunpAJrYINA7B4r8nlryYSu09yDK
         CJJ5fiG+wDgVJHuCVJGD7jEHVgBXdea2gIiNs/goXbhY7Z3TMHhDXWGys9vinoa18Vgc
         Iuq7YEoQdVl4NxvNqcXP+ynSkqW1iUEeV6Gy7sKNV2vL1lxakh5+TcD5ExpjpwVCfY6z
         AJ36UoH5vSB1NRsHr6atz+wUW175vdN6U5m5syxe966/mTOgd4x4uG11bopltPu3Tn0G
         heIQ==
X-Received: by 10.152.206.41 with SMTP id ll9mr3606459lac.103.1438696470672;
 Tue, 04 Aug 2015 06:54:30 -0700 (PDT)
MIME-Version: 1.0
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> <CAJgjwegcaKqohVE0H=vO_8d+qY6rr1G8cLP38a+Vf5y8dmtM=A@mail.gmail.com>
 <E51C5B015DBD1348A1D85763337FB6D9E9D82F21@Remus.metastack.local> <CAAxsn=F6SuTLp5Fh-6S+7a3LVrdgXbdCDze=1e8cKnOck24rEg@mail.gmail.com>
In-Reply-To: <CAAxsn=F6SuTLp5Fh-6S+7a3LVrdgXbdCDze=1e8cKnOck24rEg@mail.gmail.com>
From: "vrotaru.md@gmail.com" <vrotaru.md@gmail.com>
Date: Tue, 04 Aug 2015 13:54:20 +0000
Message-ID: <CAJgjwej0F64uTRKUEzVq5Wa=JkECxpR3z1gxh67XzwEv_VS_zg@mail.gmail.com>
To: Jeremy Yallop <yallop@gmail.com>, David Allsopp <dra-news@metastack.com>
Cc: =?UTF-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>, 
	Goswin von Brederlow <goswin-v-b@web.de>, "caml-list@inria.fr" <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=001a1133af6a12fbff051c7ca089
Subject: Re: [Caml-list] destructive local opens

--001a1133af6a12fbff051c7ca089
Content-Type: text/plain; charset=UTF-8

Re: recursive un-open

There is certainly a problem with nested opens. If you module A, B and C,
and every one of them defines its own (+) then..

A.(
  B.(
     C.(  .... + ....
     )
  )
)

parsing the most nested plus became quite ambiguous.

But something like ^^(...) or ^^^(...) will certainly be bad

--001a1133af6a12fbff051c7ca089
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Re: recursive un-open<div><br></div><div>There is certainl=
y a problem with nested opens. If you module A, B and C, and every one of t=
hem defines its own (+) then..=C2=A0</div><div><br></div><div>A.(</div><div=
>=C2=A0 B.(</div><div>=C2=A0 =C2=A0 =C2=A0C.( =C2=A0....=C2=A0+ ....</div><=
div>=C2=A0 =C2=A0 =C2=A0)</div><div>=C2=A0 )</div><div>)</div><div><br></di=
v><div>parsing the most nested plus became quite ambiguous.=C2=A0</div><div=
><br></div><div>But something like ^^(...) or ^^^(...) will certainly be ba=
d</div><div><br></div></div>

--001a1133af6a12fbff051c7ca089--