From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <5764c029b688c1c0d24a2e97cd764f@gmail.com> X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 3743F80128 for ; Wed, 26 Apr 2017 16:23:05 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=Pass smtp.mailfrom=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f43.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra; client-ip=74.125.82.43; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com designates 74.125.82.43 as permitted sender) identity=mailfrom; client-ip=74.125.82.43; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@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-wm0-f43.google.com) identity=helo; client-ip=74.125.82.43; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="postmaster@mail-wm0-f43.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AMzKVBh3fKXTS4NHbsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIUI/ad9pjvdHbS+e9qxAeQG96Kt7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXbAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmli?= =?us-ascii?q?cJOSM6/m/ZhMN/g75Urh26qhxjwYPZep2ZOOZwc67fe94RWGpPXtxWVyxEGo6y?= =?us-ascii?q?aJEAD/YfMuZasoLzolwOrQC/BQmvGejizT9Fi3330KA1z+stDR/K0Qg7EN8Ps3?= =?us-ascii?q?nZr8n6OLoOXuyp0abE0zrOYOlI1Tjj7IXFcAwuruyOUL9xfsfRx1IiFwzAjlqK?= =?us-ascii?q?qIzlOymZ2fgKs2ie9udtU/+khW0/qwxpoDWiyd0ghpTXio8V0FzJ9jt1zJw6KN?= =?us-ascii?q?C2UEJ3fNCpHZhKuyyeNoZ6WN0uT31ptSogxbALupi2dzUQxps93R7QcfmHfpCI?= =?us-ascii?q?4h39UOaRJi91hHd/d7K+gxa+6EahyujgWsWt3lZHoSRInsPDtnAK0BzT5cyHRe?= =?us-ascii?q?Vn8ki93jaP0hjf6uBCIU8qiarWM5wsz7EqmpYOr0jOHjX6lUbogKOMeUgp9PCk?= =?us-ascii?q?6+H9bbXnop+cOZV0igb7Mqk2msGyA+U1PwcSUGSH5+ix0Kbs8Ez6TbhJkvI6j7?= =?us-ascii?q?XWvIzHKsgFqaO2GRFZ3Zgn5hu9EzipzdYVkHgIIVJLYx+HgI3pNEvPIPD8F/uw?= =?us-ascii?q?n1OskDJzy/DcIrLhGonNLmTEkLr5Ybly8UtcyA4qwdBb5pJUEa0BLenoWk7xsd?= =?us-ascii?q?zYFgU2Pxa1w+bhEtV915kRVXiBAq+DY+vutgqD7+crZu2Nf5Nd7D30Lvxg4//1?= =?us-ascii?q?kVc4n0UcdO+nx81ERmq/G6FDKlmUYzLPhcwAEi9e41VgEOey0gyID24DbC+5B6?= =?us-ascii?q?5mujhhBdP5BoucGNyjqLOE1Sa/WJZRYzYVWRi3DX70etDcCL83YyWIL5o5nw?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BHCgC4rABZhitSfUpbHAEBBAEBCgEBG?= =?us-ascii?q?AEFAQsBghGDBoNonBeIWI5qDoMwhwxDFAEBAQEBAQEBAQEBEgEBAQgLCwgoL4I?= =?us-ascii?q?zIIJsHQEbHgMSEA8CJgIlEQEFASINCAKJfgEDFZorg0U/jAiCBAUBHIMKBYNqC?= =?us-ascii?q?hknDVZHgmwCBgkBCHmHUopUgl8FnU0BkwuBagGJABCGY5JfM4EVNoEoJx0hcoR?= =?us-ascii?q?FH4Fxc4h1AQEB?= X-IPAS-Result: =?us-ascii?q?A0BHCgC4rABZhitSfUpbHAEBBAEBCgEBGAEFAQsBghGDBoN?= =?us-ascii?q?onBeIWI5qDoMwhwxDFAEBAQEBAQEBAQEBEgEBAQgLCwgoL4IzIIJsHQEbHgMSE?= =?us-ascii?q?A8CJgIlEQEFASINCAKJfgEDFZorg0U/jAiCBAUBHIMKBYNqChknDVZHgmwCBgk?= =?us-ascii?q?BCHmHUopUgl8FnU0BkwuBagGJABCGY5JfM4EVNoEoJx0hcoRFH4Fxc4h1AQEB?= X-IronPort-AV: E=Sophos;i="5.37,254,1488841200"; d="scan'208";a="270628029" Received: from mail-wm0-f43.google.com ([74.125.82.43]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Apr 2017 16:23:04 +0200 Received: by mail-wm0-f43.google.com with SMTP id u65so52111648wmu.1 for ; Wed, 26 Apr 2017 07:23:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:from:subject:message-id:date:user-agent:mime-version :content-transfer-encoding; bh=Om2FomQ7vyGBDMETnascSW/HGrpc1f3XRMp0QqCFnkg=; b=FqFyANZmRb9BPSvL1UeRuItrHNinPSvJNOtVESMN0gfslEB4Wc4LM6jRnvHMI4dQqP o2JKtuTKTpI0pYQFi/B4Jlo7GDk4//o8yCOqSNgbAorYku3zrQMSUiTVq7ttSHUpaTXX 6Q+fTEFxsCf6uHM1jleRAdf7VJBmOdqIZwj8RsxJOjSnYydcGxnR2ZKi48CuKs4pGiCS ijCy5DoRiFD8L9IUSFPyWdED/xbGyQ8313vOTUL7v+1RVGiiyTGIvI9+d9mDWAR2I0Ky zxLMvjRj66brYUy3qJa2BrCcWJDspbB29qRYhot3sW6IXQzQPb71oJVr4cGdE4LiNVhR h11w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version:content-transfer-encoding; bh=Om2FomQ7vyGBDMETnascSW/HGrpc1f3XRMp0QqCFnkg=; b=n8DA1JnOLuf5OJ4hTSt0+t6ynXVZ8VSxbG+8B7+2gluFtSnaKNuEXLjESze2tMYUsU 7fyL6HpgC445UoMMXMmsyopK+39x74swEq41a8Oyb7JaNg7kdis/9hfeZNk6XxwyHmNf FYzVqmfGs+PwxeYp60Qd3MzwuR/CXF8IpJN+uIWSdbdYjaa0Op6VzatjUXMo7JaL759h 5YPWU2Hx5HLV2nyUOaLSO23DOsptzDdcy8kM5NX/LoonrxX4v04XTCHFoVmtryO3ICmt /Ely2a0W6CuAY80ZC9IkA1h3X+VcSvVkrg6YRhXdO7ZCRfWxs1rclVRf0ULnZQpyXxtz GaYA== X-Gm-Message-State: AN3rC/5BYHbj5XTP6Sil8sA7ohGB7QUAm9K+py1cuF5QEIstcs5nuAa5 ecRLdmGsBSAQk+am X-Received: by 10.28.136.8 with SMTP id k8mr5610483wmd.1.1493216584138; Wed, 26 Apr 2017 07:23:04 -0700 (PDT) Received: from [138.96.206.48] (marelle1.inria.fr. [138.96.206.48]) by smtp.googlemail.com with ESMTPSA id g21sm443733wrg.22.2017.04.26.07.23.03 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 26 Apr 2017 07:23:03 -0700 (PDT) To: caml-list From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> Message-ID: <7b36d78d-f20f-f504-db11-b95dd1df2bf9@gmail.com> Date: Wed, 26 Apr 2017 16:26:01 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Icedove/45.6.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] a question about Ocaml semantics Dear all, I am not sure I understand particular aspect of Ocaml semantics. In the context of an *.ml file, can struct include A end be in general (i.e. unconditionally always) be rewritten to A ?