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 c5ff346549e7 (Postfix) with ESMTPS id C0DFC5D4 for ; Tue, 25 Jun 2019 05:17:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,413,1557180000"; d="scan'208";a="388898379" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Jun 2019 07:17:38 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 13F278247D; Tue, 25 Jun 2019 07:17:38 +0200 (CEST) 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 DF8647ED69 for ; Tue, 25 Jun 2019 07:17:33 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=basile@starynkevitch.net; spf=Pass smtp.mailfrom=basile@starynkevitch.net; spf=None smtp.helo=postmaster@relay1-d.mail.gandi.net IronPort-PHdr: =?us-ascii?q?9a23=3Aa6vY0BytOXWoq9/XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2uIeIJqq85mqBkHD//Il1AaPAdyBrasfwLuI++C4ACpcuM/H6ChDOLV3FDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjPusUMnIdvJKk9xx/Ir3BVf+?= =?us-ascii?q?ha2X5kKUickhrh+8u85oJv/zhVt/k868NOTKL2crgiQ7dFFjomKWc15MPqtRnH?= =?us-ascii?q?UwSC42YXX3sVnBRVHQXL9Qn2UZjtvCT0sOp9wzSaMtbtTb8oQzSi7rxkRwHuhS?= =?us-ascii?q?waKjM26mDXish3jKJGvBKsogF0zoDIbI2JMvd1Y7jQds0GS2VfQslRVjRBAoKi?= =?us-ascii?q?YIsJE+oBJvtTo43kq1cTsReyGQygCeXywTFKm3D2x7U33fk/HwHI3AIuHNwAv3?= =?us-ascii?q?rbo9r3KKgcXvu4zLXLwDjZc/9axTnw5YrOfxs8of+MR7Vwcc/JxEQyDQzFlVSQ?= =?us-ascii?q?qYj7MDiIy+oNr3KU7/BgVOKpiG4otR9xojmzxsgwionCm4UYxUve+iViwYY1Ic?= =?us-ascii?q?O3RVVgYd64CpRQrSGbN411Qsw8XWFouTo6xaEGuZKheigF1ognygfZZveafYaI?= =?us-ascii?q?5RfjW/yQITd+nH9lY66/iAyo8UmgzO38Vde70EhLripZjtbMtmoB1xrN5cibUv?= =?us-ascii?q?d9/0Gh2SyO1w/J8O1EL1o0mKzGIJAi2r49joQfvVnBEyPsmkj6kLWaelgn9+Wm?= =?us-ascii?q?8ejrf7Hrq5GEO4NpjgzzPL4iltKwDOk7KAQDX2eW9f6h2LDg/0D0RqhBgOcsna?= =?us-ascii?q?nDqp/aINwWpq6nDA9R1YYu8wy/ACmi0NsCnXgLMUtJdw+dg4jsIV7OIfT4Ae2w?= =?us-ascii?q?g1u2ljdk2vHGMqfnAprTMnjPiLbhfbBj5E5A0Ac/081T6pBOBrwDPP7/QFL9ud?= =?us-ascii?q?/WAxMjLgC5x+jqBM141owEWGKPBqGZMLnVsV+N/u8gOPODZJQUuDb5Nfco/OXu?= =?us-ascii?q?jWMjll8Hfaip25gXZ26mHvRnP0WWfXrsjs0HEWgUogoyVPbqh0GaUT5Pe3ayWL?= =?us-ascii?q?ox6S0hB4KjCYfPX4StgL2a3CenBZBWfWBHClWUEXjybYmEWvEMaDiTIsB7iDAE?= =?us-ascii?q?W6KhGMcd0kSLtQT6xr4vCufK62VMsJPo1NVxoeneiwBrpGAkJ8uY2mCJCWpzmz?= =?us-ascii?q?VMDxgd1aV76Wh80UvLhaNxhvgdEd1I+9tIVB07PNjS1bopJcr1X1frd8yITFvu?= =?us-ascii?q?ecmvGyA3Td8vwsMFYw4pEdy5jxTO9zG2CqUEkb+GGp0o+aKa2XXtcZUug03a3b?= =?us-ascii?q?Us2gF1CvBEMner0+smr1CKVtz51n6BnqPvTpwymSvE9WON122L5RAKSxJ5S7TD?= =?us-ascii?q?Xn0BZ1fdrZL/61+QFubyW4RiCRNIzIu5EoUPcsfg1AQUX+vqIsXYYG+vmnu7BV?= =?us-ascii?q?COy6/eNNO3KVVY5z3UDQ0/qy5W/XuCMlJjVD2sp2vPVXliU1fmYkeq/uB4pHL9?= =?us-ascii?q?SEIonVmH?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D3BAAPrhFdh8G3RtlmHQEBBQEHBQGBZ?= =?us-ascii?q?4MBA4EBKAqEDJJ3gWItg2CXAQkBAwEMIwoCAQGEQAKCbRsHAQQ0EwEDAQEEAQE?= =?us-ascii?q?CAQIDARMBAQEIDQkIKYo+DII6KQGCZwECAyMPAQVRCxgCAiYCAlcGAQwIAQGDH?= =?us-ascii?q?gGCDgukaYExhEZBQIMngUaBDCiLXheBf4E4gj0uPoJWCwOBYIMKglgEqhIJgha?= =?us-ascii?q?GT40SIXOCIYoFijGNKIZRY4RGizmBZ4F5ewo7gmwJglKFFIMbhXw+MgGBKI1TA?= =?us-ascii?q?YEgAQE?= X-IPAS-Result: =?us-ascii?q?A0D3BAAPrhFdh8G3RtlmHQEBBQEHBQGBZ4MBA4EBKAqEDJJ?= =?us-ascii?q?3gWItg2CXAQkBAwEMIwoCAQGEQAKCbRsHAQQ0EwEDAQEEAQECAQIDARMBAQEID?= =?us-ascii?q?QkIKYo+DII6KQGCZwECAyMPAQVRCxgCAiYCAlcGAQwIAQGDHgGCDgukaYExhEZ?= =?us-ascii?q?BQIMngUaBDCiLXheBf4E4gj0uPoJWCwOBYIMKglgEqhIJghaGT40SIXOCIYoFi?= =?us-ascii?q?jGNKIZRY4RGizmBZ4F5ewo7gmwJglKFFIMbhXw+MgGBKI1TAYEgAQE?= X-IronPort-AV: E=Sophos;i="5.63,413,1557180000"; d="scan'208";a="388898357" X-MGA-submission: =?us-ascii?q?MDEd+OisVlXt9SyogIUqQDI3E7U4I58o4rVcB3?= =?us-ascii?q?+Of85xsXkxlyPIS5o1nWLUxPNQTBNWEWIWQ2QOQn9KlIc4HEIs2P6BFU?= =?us-ascii?q?psoH/vDIsgEIyhDlXWnPhhA0f57Hc+WQ6yZVFvt8o3DPRo9K1iyhM21I?= =?us-ascii?q?S5LZg7/FlzPGJIShqLUfDang=3D=3D?= Received: from relay1-d.mail.gandi.net ([217.70.183.193]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 Jun 2019 07:17:20 +0200 X-Originating-IP: 193.248.54.187 Received: from [192.168.1.10] (lstlambert-656-1-266-187.w193-248.abo.wanadoo.fr [193.248.54.187]) (Authenticated sender: basile@starynkevitch.net) by relay1-d.mail.gandi.net (Postfix) with ESMTPSA id 91E6D240004; Tue, 25 Jun 2019 05:17:19 +0000 (UTC) To: Michel Levy , OCaml List References: <8262157f-ffe5-b12e-f09a-dd01ef083c73@gmail.com> From: Basile Starynkevitch Message-ID: Date: Tue, 25 Jun 2019 07:17:19 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.2 MIME-Version: 1.0 In-Reply-To: <8262157f-ffe5-b12e-f09a-dd01ef083c73@gmail.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US Subject: Re: [Caml-list] error in Ocaml 4.02 and not error in Ocaml 4.05 Reply-To: Basile Starynkevitch X-Loop: caml-list@inria.fr X-Sequence: 17643 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: On 6/24/19 11:09 PM, Michel Levy wrote: > In "my" ocaml version, 4.05, the line A of {lit : literal; mutable scope > : int} of the type declaration > > type ab_literal = >   | A of {lit : literal; mutable scope : int} >   | B of literal;; > > is correct. > > but in the ocaml version 4.02, the line A of {lit : literal; mutable > scope : int} is a syntax error. > > Where can I find this error in the documentation and/or the > announcement of this syntax change ? In the chapter 8. language extensions of the Ocaml reference manual: http://caml.inria.fr/pub/docs/manual-ocaml/extn.html -- Basile STARYNKEVITCH == http://starynkevitch.net/Basile opinions are mine only - les opinions sont seulement miennes Bourg La Reine, France