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 ESMTP id 8951A5D4 for ; Mon, 24 Jun 2019 21:14:22 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,413,1557180000"; d="scan'208,217";a="388877749" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Jun 2019 23:14:21 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5D26E826E2; Mon, 24 Jun 2019 23:14:21 +0200 (CEST) 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 7C5947ED69 for ; Mon, 24 Jun 2019 23:14:14 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=anmonteiro@gmail.com; spf=Pass smtp.mailfrom=anmonteiro@gmail.com; spf=None smtp.helo=postmaster@mail-pl1-f173.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AZ6/hoRwhP1xDDIvXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2u4fIJqq85mqBkHD//Il1AaPAdyBrasewLOI6+igATVGvc/Y9ihaMdRlbFwssY?= =?us-ascii?q?0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6?= =?us-ascii?q?Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+IA+5oAnMqMUam5ZuJrg+xhfUo3ZEZ/?= =?us-ascii?q?ldyWd0KV6OhRrx6dq88IN5/yhMp/4t8tNLXLnncag/UbFWFiktPXov5M3suxnD?= =?us-ascii?q?TA+P6WUZX24LjBdGABXL4Q/jUJvpvST0quRy2C+BPc3rVr80Qiit771qSBDzli?= =?us-ascii?q?gKMSMy/XzNhcxxiKJbpw+hpwB6zoXJboyZKOZyc6XAdt4BW2FPQtheWDBAAoOk?= =?us-ascii?q?bosAEewBPfpDr4Lgo1cCtAayCRWwCO/qzDJDm3340rAg0+k5EQ/I3xAvEN0Tvn?= =?us-ascii?q?rartr7KqkSX+euwabS0TnDaulb2Tfh5IXKdB0qvPGCXah3ccrU0UQjGR/IjlOM?= =?us-ascii?q?qZTmOTOV1+MNvHCc4epnU+Kvl3AoqwBrojio3sggjpPGhoQQylDD8yV53Jg6Jd?= =?us-ascii?q?yiSE58ZNKoHoZbuiaAOItwR8MiRGdouDokxb0Ho567ezMHyJsixxHFavyHd5KE?= =?us-ascii?q?7Q7kVOaUODp1gm9udry4hxa360egy+v8W9G70FZLsipFksTMuWsX2xPP7ciHT+?= =?us-ascii?q?Nx/km72TmRyQ/f8O9EIVoymKHGKJAh2qY9moQPvUnHBCP7m0X7gLWIekk59eWk?= =?us-ascii?q?8fnrb7foq5OEKoN4lBvyPrkvl8GxG+g1MAcDU3KF9em6ybbt51f2QK9Qgf0ziq?= =?us-ascii?q?TZsI7VJcAcpqOhBg9ayIcj6xKmAze+1NQUgGALLFxYdB+FgYXlIV7OIPf/Dfew?= =?us-ascii?q?h1Sjji1nyOzBPr3kGpnNL37Dn6n9fbtl9UJQ1A4+wcpc6p9UEL0NPu//V0DruN?= =?us-ascii?q?DFDBI0PRS4w+P9B9V80oMeV3iPAqicMK7Kq1CI4OcvI+6KZI8Jpjn9KuIl5/n1?= =?us-ascii?q?gH82nF8SZ6ip3Z8NZH+kGfRmJl2VYWDwjdcZDWcKog0+QfT2h1KYVD5TY2++X6?= =?us-ascii?q?Y95jEgFIKrFpzDR4CogLyZxii3BJxWZmZcClCNC3jkbYuEW+1fIB6Vd+pgmTwJ?= =?us-ascii?q?UfCFRpEwnUWrtQT6xr4hKufK63RJ6cLL29185umVnhY3o29aFcOYhiukSX3vmG?= =?us-ascii?q?IPcBox2rxyoFZ6/ReK161/heBVFMZUprkBBg48MJna0+F7EdfaVQfIf9PPQ1Gj?= =?us-ascii?q?FIb1SQotR848loddK312HM+v21Wah3LzXu0l0oeTDZlxyZrymnj8I8EnlSTD3a?= =?us-ascii?q?glykEiG45BbDL9wKF48AfXCsjClEDLz//7J5RZ5zbE8SK49UTLuUhZVABqVqCc?= =?us-ascii?q?BCIQY0LXqZLy4UaQFubyW4RiCRNIzIu5EoUPcsfg1AwUS/LqOdCYaGW0yT+9?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AXAQDTOxFdh63WVdFmGgEBAQEBAgEBA?= =?us-ascii?q?QEHAgEBAQGBZwKCfwNPRhSEFZJ3gWolg2CPBIYDgXoJAQMBCgEBJQoBAYRAAoJ?= =?us-ascii?q?tGwcBBDYEDQEDAQEEAQECAQIDARMBAQEIDQkIKYo+DII6KQGCZgEBAQECASMdA?= =?us-ascii?q?RsdAQMBCwYFBAcNKgICIQIRAQUBHAYTgyIBgWkBAw4PAwyZDzyLIIEUBQEXgno?= =?us-ascii?q?FgTMBgRSBbwoZJw1iNIEGAgcJAQiBIgGLXReBQD+BOAwTgh4uPoIaRwEBAoIMg?= =?us-ascii?q?l0ygiYElQGHF40yPwkCPIFYhk2JJ4NuG4MTiXMSii+UVYFtil+DCAIEAgQFAgY?= =?us-ascii?q?PIYEcLQGBdXBQKgEGgjsJNYIDGoNWgT6JNR8zAQmPawEB?= X-IPAS-Result: =?us-ascii?q?A0AXAQDTOxFdh63WVdFmGgEBAQEBAgEBAQEHAgEBAQGBZwK?= =?us-ascii?q?CfwNPRhSEFZJ3gWolg2CPBIYDgXoJAQMBCgEBJQoBAYRAAoJtGwcBBDYEDQEDA?= =?us-ascii?q?QEEAQECAQIDARMBAQEIDQkIKYo+DII6KQGCZgEBAQECASMdARsdAQMBCwYFBAc?= =?us-ascii?q?NKgICIQIRAQUBHAYTgyIBgWkBAw4PAwyZDzyLIIEUBQEXgnoFgTMBgRSBbwoZJ?= =?us-ascii?q?w1iNIEGAgcJAQiBIgGLXReBQD+BOAwTgh4uPoIaRwEBAoIMgl0ygiYElQGHF40?= =?us-ascii?q?yPwkCPIFYhk2JJ4NuG4MTiXMSii+UVYFtil+DCAIEAgQFAgYPIYEcLQGBdXBQK?= =?us-ascii?q?gEGgjsJNYIDGoNWgT6JNR8zAQmPawEB?= X-IronPort-AV: E=Sophos;i="5.63,413,1557180000"; d="scan'208,217";a="311269025" X-MGA-submission: =?us-ascii?q?MDF5zX4NZxmLJSiz6sWerCVvPFCgTjY+pSbsWc?= =?us-ascii?q?f9f2/R6XILsex/c6nr38yJkPp9vxX/IECBEb4a3kE3cz9oxYPHRTBA9d?= =?us-ascii?q?ivUvjoK43ftBoK2Bl6l5fVpVh1fvLMLJzrwkhCbKN3hoSUlFRQnoFuu3?= =?us-ascii?q?6PSIcJxlZg4jDB7cOqFgpkQA=3D=3D?= Received: from mail-pl1-f173.google.com ([209.85.214.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Jun 2019 23:14:13 +0200 Received: by mail-pl1-f173.google.com with SMTP id b7so7605879pls.6 for ; Mon, 24 Jun 2019 14:14:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:message-id:mime-version:subject:date:in-reply-to:cc:to :references; bh=U3bKbfMKiOYi2Tm8bU6taabtrd9qRa0/nWyzWCt3M+E=; b=NSI+pOdC32WqESZbJuGVWpFy2/9k9sF8tRsIY96Q7LyVFx8GsWxN0+iATq9IwATVsL r6iaUEIAGOjtqOF4D/gv9scZzeXoVfL05gC8bTpMNf60d/9geXP92Ar36YeP/SqVHf6g qc5PBhii5q7lP/e6YFqr1yEkQW3QXMPyAvRU/THrbulq7cfS6k7rh0xYElyjz/Qts+e3 kXFH+0tCWi5vP8/4S8/u47GBpf00tQDYPP+GaeNEcNGaT7aNCnYzTJT7RQJCrrdr4zbq 3SgpcPfjsqk5dNnhm0pM/fXs0+/OCx8ruAB1KQ+cQugJT2cxclqqVP0qLhZ4iV3OyGnh a2vQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:message-id:mime-version:subject:date :in-reply-to:cc:to:references; bh=U3bKbfMKiOYi2Tm8bU6taabtrd9qRa0/nWyzWCt3M+E=; b=PfD15AHQsGq8PxObz21i/w7pubK7MD3ntzQXYMetmaFOsGvNQIdKhNhBeV3xirHPho dS+CZE8HjA6bABLjmZJ57hOMO6AEcElQF0J10rTj4W1ZNgbhQIBL/6zN6csrcq/wPuEN nZ4HJGcOakaXKwb4vqGR92rpUBFZr0JU24Dx0YgFM533I408P3zptkQgs1g/uaYowzEm FreFPmXFAWXjd3aCFkFeloBYoBnSZ6qOssgCc07e6Xyt4aDGxPv6bAExhhH/L86clhBM 5BecWZNW98NHeXWBfZvHh3VbedEgmRawMD8/FjFoFf48uAOMv3W2B1rhQ5F173I/cW+L Yo6Q== X-Gm-Message-State: APjAAAX/Ji7eVWfG9Xygtp3PA86MCvsm/E9P9OvUhFT00mR6z+9DocrD kb9G1zuGkKA3lWZmA7MNb6g= X-Google-Smtp-Source: APXvYqx6EhowMmk9mHS93cxcobE8UAQYvDaOAI2zScDYy3CdS5KIgIAPWZPWHmz7uMGvjzIc6vTAkA== X-Received: by 2002:a17:902:3a5:: with SMTP id d34mr65354552pld.239.1561410851501; Mon, 24 Jun 2019 14:14:11 -0700 (PDT) Received: from [172.16.96.57] ([12.163.74.2]) by smtp.gmail.com with ESMTPSA id n5sm26369478pgd.26.2019.06.24.14.14.10 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 24 Jun 2019 14:14:10 -0700 (PDT) From: =?utf-8?Q?=22Ant=C3=B3nio_Monteiro_=28anmonteiro=29=22?= Message-Id: Content-Type: multipart/alternative; boundary="Apple-Mail=_AC01EC8C-7329-4F1C-8911-F881D81E2C77" Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Date: Mon, 24 Jun 2019 14:14:08 -0700 In-Reply-To: <8262157f-ffe5-b12e-f09a-dd01ef083c73@gmail.com> Cc: OCaml List To: Michel Levy References: <8262157f-ffe5-b12e-f09a-dd01ef083c73@gmail.com> X-Mailer: Apple Mail (2.3445.104.11) Subject: Re: [Caml-list] error in Ocaml 4.02 and not error in Ocaml 4.05 Reply-To: =?utf-8?Q?=22Ant=C3=B3nio_Monteiro_=28anmonteiro=29=22?= X-Loop: caml-list@inria.fr X-Sequence: 17639 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: --Apple-Mail=_AC01EC8C-7329-4F1C-8911-F881D81E2C77 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Michael, Inline records were introduced in OCaml 4.03. Here=E2=80=99s a perma = link for the changes entry in the compiler repo: = https://github.com/ocaml/ocaml/blob/d8b6a1713b50132fc96b6cda40c8aad4ec4f80= 08/Changes#L3798-L3799 = - Antonio > On Jun 24, 2019, at 2:09 PM, Michel Levy = wrote: >=20 > In "my" ocaml version, 4.05, the line A of {lit : literal; mutable = scope > : int} of the type declaration >=20 > type ab_literal =3D > | A of {lit : literal; mutable scope : int} > | B of literal;; >=20 > is correct. >=20 > but in the ocaml version 4.02, the line A of {lit : literal; mutable > scope : int} is a syntax error. >=20 > Where can I find this error in the documentation and/or the=20 > announcement of this syntax change ? >=20 > --=20 > courriel : michel.levy1948@gmail.com > mobile : 0659134253 web : http://michel.levy.imag.free.fr --Apple-Mail=_AC01EC8C-7329-4F1C-8911-F881D81E2C77 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 Michael,

Inline records were introduced in OCaml 4.03. Here=E2=80=99s = a perma link for the changes entry in the compiler repo: https://github.com/ocaml/ocaml/blob/d8b6a1713b50132fc96b6cda40c= 8aad4ec4f8008/Changes#L3798-L3799

- Antonio

On Jun 24, 2019, at 2:09 PM, = Michel Levy <michel.levy1948@gmail.com> wrote:

In = "my" ocaml version, 4.05, the line A of {lit : literal; mutable scope
: int} of the type declaration

type ab_literal =3D
  | 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 ?

--
courriel : michel.levy1948@gmail.com
mobile : = 0659134253 web : http://michel.levy.imag.free.fr

= --Apple-Mail=_AC01EC8C-7329-4F1C-8911-F881D81E2C77--