From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 A1D1D7EE9C for ; Fri, 25 Nov 2016 10:20:42 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=julien.blond@gmail.com; spf=Pass smtp.mailfrom=julien.blond@gmail.com; spf=None smtp.helo=postmaster@mail-yw0-f179.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of julien.blond@gmail.com) identity=pra; client-ip=209.85.161.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="julien.blond@gmail.com"; x-sender="julien.blond@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of julien.blond@gmail.com designates 209.85.161.179 as permitted sender) identity=mailfrom; client-ip=209.85.161.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="julien.blond@gmail.com"; x-sender="julien.blond@gmail.com"; 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@mail-yw0-f179.google.com) identity=helo; client-ip=209.85.161.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="julien.blond@gmail.com"; x-sender="postmaster@mail-yw0-f179.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AGhcrvRXC4wTGuO621QzOMZJNrt7V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxyGt8tkgFKBZ4jH8fUM07OQ6PG7HzdZqsvR+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe71/IRG4oAnLuMQanIRuJ6YyxxDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKiU0+3/LhMNukK1boQqhpx1hzI7SfIGVL+d1cqfEcd8HWWZNQsNdWipcCY2+?= =?us-ascii?q?coQPFfIMMuRWr4f9qVUArgawCxewC+700DBEmmX70Lcm3+g9EwzL2hErEdIUsH?= =?us-ascii?q?TTqdX4LKMcUf2xzKnJ0zrDae5d1Cr56IjPdBAuvOyHULVyccrMzUkvFh3KjlOK?= =?us-ascii?q?pYP+OzOV0eINvHWA4upvUOKgkW8nqwVrrjezwccsj5DEi4QIwV7H7SV02Jg5Kc?= =?us-ascii?q?G8RUJhYtOpEIFcuzybOodrWM8uXmNltSI8x7Ybo5C0ZjIKx44ixxPHa/yIbYyI?= =?us-ascii?q?4hX7WeaUOzh4hXZldKu/hhe87USs0+P8WtS23VtOtCZFnd7MtncC1xzX9MeLUO?= =?us-ascii?q?dy/kCk2TqX1gDT7P9LIVwsmKbFN5IsxqQ8m5kTvEjZAyP7mVj6gLWLekgm/uWk?= =?us-ascii?q?8+Hnba/npp+YOY90kAb+MqE2l8y9HOQ4NgkOUHad+eimz7Lj+Ur5QLNXgfAtna?= =?us-ascii?q?nZtYrVJcUfpqKjHwBV1YMj5w6lDzi6yNQYgWUHLFVddR2blYfpPlXOLOn8Dfe+?= =?us-ascii?q?mFSsjCxmx+vGP73kGpXCNGLPkLbnfbZn6k5T0hA/zd5F58EcNrZUB9n6X0u5sd?= =?us-ascii?q?XZCh4/PEmwwv37QIF234YaHGaOGbOxMaXIsFbO6Ph5cMeWY4pAmiv5KvUjr9Tq?= =?us-ascii?q?ink10QsfYK2o0J1RYnS/GPhOLECQYH6qidAERzRZ9jEiRfDn3QXRGQVYYGy/Cu?= =?us-ascii?q?dlvmk2?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DhAAC5AThYhrOhVdFdHQEFAQsBGAEFA?= =?us-ascii?q?QsBgw0BAQEBAYF5B6RWlnyGIQKBegdDEAEBAQEBAQEBAQEBEgEBAQgLCwkdMII?= =?us-ascii?q?zGgGCGwEBAwESER0BGx4DAQsGAwIEAQY3AgIhAQERAQUBHAYTIogwAQMPCI5rj?= =?us-ascii?q?1KBMj8yi1CCBAUBH4MNBYNYChknDVSDNgEBCAIBHAIGEoYshFuCSIUFgl0Fmh8?= =?us-ascii?q?1gXaLOoNWkDKJQIQxgkgTHoETNU5HQBGDFyCBaT00iDcBAQE?= X-IPAS-Result: =?us-ascii?q?A0DhAAC5AThYhrOhVdFdHQEFAQsBGAEFAQsBgw0BAQEBAYF?= =?us-ascii?q?5B6RWlnyGIQKBegdDEAEBAQEBAQEBAQEBEgEBAQgLCwkdMIIzGgGCGwEBAwESE?= =?us-ascii?q?R0BGx4DAQsGAwIEAQY3AgIhAQERAQUBHAYTIogwAQMPCI5rj1KBMj8yi1CCBAU?= =?us-ascii?q?BH4MNBYNYChknDVSDNgEBCAIBHAIGEoYshFuCSIUFgl0Fmh81gXaLOoNWkDKJQ?= =?us-ascii?q?IQxgkgTHoETNU5HQBGDFyCBaT00iDcBAQE?= X-IronPort-AV: E=Sophos;i="5.31,546,1473112800"; d="scan'208,217";a="201669834" Received: from mail-yw0-f179.google.com ([209.85.161.179]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Nov 2016 10:20:41 +0100 Received: by mail-yw0-f179.google.com with SMTP id i145so58425743ywg.2 for ; Fri, 25 Nov 2016 01:20:41 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to; bh=LcdlYEqaSaXOF47aRl+h9anV1blpF2F1JOmS34Zo7q0=; b=F2h5UiuVRJdXkIWixLCjHDgFQd/79tz+kQmQz2n56qYudHMI51G7uWOln1G++DMAFw BEQNzXBpW4MsEdajg5EYQae8wvZGY2jrESgFI4eZeN/St5EJ/k9ceoXvVZ2yv0xguuQl QwmJRyfzodz++Nt7Bnt6DaaE0B/4poDtG3tR2VsDUwfBLFwmxBWA6T91OFQiKjPg9ge5 T8Dw36RwxA26HvW3lfT3H1Ck7NQyt7W9x8+svTJpDwQoxv741mQhVWJjDJzv6nh98hnq F205w1dk629SVy3oaw2vEAVm6v2rWmu8JFdNJsL5GWE7Qafjz6dDkBmMTKzpFkUItZa0 cO8A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to; bh=LcdlYEqaSaXOF47aRl+h9anV1blpF2F1JOmS34Zo7q0=; b=c3nJxuLT08o3pCaXiDJhI+G8kyMKDnOGW5euLhyLaQy8/F/j9VZBC3q0x2dBqGF2uK DmkoER46zR5QxUjJaHxVWqBfFB+vMKpmwdFC9n9X09642oMAtkTtIoMQMR7Z0+zbdlHP JlwISZCC8lvUgwmoN9KqmgbE3J4aZ5i4GvU9teywOlCRUX4RJOvbldrn7nYdvBzWFpcd uv80QEy15nme0KBySwJKeG8FeCRwXGiOjspFCmjILCyUEw2/AtRJaI2i1qe4GdPovbpu kynIPDhssD7EuP4RabxzCjQ2wOIARstP7ezqkGPQ2o+dChnntxEEjpL6SXwAQgjzfPJh XFDA== X-Gm-Message-State: AKaTC02ZYAUrjF9hLXe6tKm1a1Y58+eoqfamsRWTghnjZhunSow5GJgHabVEPLTqPEq6iWwQd7MKyE3Xh5npQg== X-Received: by 10.129.85.9 with SMTP id j9mr7934825ywb.283.1480065640413; Fri, 25 Nov 2016 01:20:40 -0800 (PST) MIME-Version: 1.0 Received: by 10.129.80.68 with HTTP; Fri, 25 Nov 2016 01:20:40 -0800 (PST) In-Reply-To: References: From: Julien Blond Date: Fri, 25 Nov 2016 10:20:40 +0100 Message-ID: To: OCaml mailing-list Content-Type: multipart/alternative; boundary=001a113f16d6bdc1ef05421ca22f Subject: Re: [Caml-list] Empty polymorphic variant set --001a113f16d6bdc1ef05421ca22f Content-Type: text/plain; charset=UTF-8 Forget my question :) The [] is actually interpreted as a variant constructor, not a polymorphic variant set that must have an element at least. -- Julien Blond 2016-11-25 9:39 GMT+01:00 Julien Blond : > Hi, > > Let's try something : > > $ ocaml > OCaml version 4.03.0 > > # let _ : [] list = [];; > Characters 9-10: > let _ : [] list = [];; > > Error: Syntax error > # type empty = [];; > type empty = [] > # let _ : empty list = [];; > - : empty list = [] > # > > Does anyone know if there is a reason to forbid the empty polymorphic > variant set in type expressions or if it's a bug ? > > Regards, > > -- Julien Blond > --001a113f16d6bdc1ef05421ca22f Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Forget my question :) The [] is actually interpreted = as a variant constructor, not a polymorphic variant set that must have an e= lement at least.

-- Julien Blond

2016-11-25 9:39 GMT+01:00 Julien Blon= d <julien.blond@gmail.com>:
Hi,

Let's try somet= hing :

$ ocaml
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0 OCaml version 4.03.0

# let _ : [] list =3D [];;
Characters 9-= 10:
=C2=A0 let _ : [] list =3D [];;

Error: Syntax error
# type= empty =3D [];;
type empty =3D []
# let _ : empty list =3D [];;
- = : empty list =3D []
#

Does = anyone know if there is a reason to forbid the empty polymorphic variant se= t in type expressions or if it's a bug ?

Regards,
=
-- Julien Blond

--001a113f16d6bdc1ef05421ca22f--