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 sympa.inria.fr (Postfix) with ESMTPS id 9671D8006A for ; Fri, 25 Nov 2016 09:39:23 +0100 (CET) Authentication-Results: mail2-smtp-roc.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-f181.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of julien.blond@gmail.com) identity=pra; client-ip=209.85.161.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="julien.blond@gmail.com"; x-sender="julien.blond@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of julien.blond@gmail.com designates 209.85.161.181 as permitted sender) identity=mailfrom; client-ip=209.85.161.181; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yw0-f181.google.com) identity=helo; client-ip=209.85.161.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="julien.blond@gmail.com"; x-sender="postmaster@mail-yw0-f181.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ASa0rcR+649HHif9uRHKM819IXTAuvvDOBiVQ1KB9?= =?us-ascii?q?0u0cTK2v8tzYMVDF4r011RmSDN6dsKsP17ue8/i5HzdfsdDZ6DFKWacPfiFGoP?= =?us-ascii?q?1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJd?= =?us-ascii?q?b974EY/Kjsmxy/v6u9iKO10J13KBZuZVBxyzqU3Uv8gSgI1tb6Iw0QeB9nBBfu?= =?us-ascii?q?ATwWJzOXqSmQz974G+5sgw3T5XvqcD6spBXKOyVaA/S7AQWDY7N2E44ovhsR7F?= =?us-ascii?q?QSOA43IdViMdlR8eUFuN1w3zQpqk6niyjeF6wiTPeJSuFb0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BQAQBH+DdYhrWhVdFdHQEFAQsBGBgHg?= =?us-ascii?q?wEBAQEBAYF5B603jhuIGwdDEAEBAQEBAQEBAQEBEgEBAQgLCwkdMIIzBAEVAQS?= =?us-ascii?q?CDSIRHQEbHgMSAwUBBzcCJAERAQUBIjWIMAEDF45RjUmCCYEyPzKLUIIEBQEfg?= =?us-ascii?q?w0Fg1cKGScNVINfAgYShiyMKIJdBZpUgUktjxCQMpA5Ex6BEzVOR0ARgxcggWk?= =?us-ascii?q?9NIZogU8BAQE?= X-IPAS-Result: =?us-ascii?q?A0BQAQBH+DdYhrWhVdFdHQEFAQsBGBgHgwEBAQEBAYF5B60?= =?us-ascii?q?3jhuIGwdDEAEBAQEBAQEBAQEBEgEBAQgLCwkdMIIzBAEVAQSCDSIRHQEbHgMSA?= =?us-ascii?q?wUBBzcCJAERAQUBIjWIMAEDF45RjUmCCYEyPzKLUIIEBQEfgw0Fg1cKGScNVIN?= =?us-ascii?q?fAgYShiyMKIJdBZpUgUktjxCQMpA5Ex6BEzVOR0ARgxcggWk9NIZogU8BAQE?= X-IronPort-AV: E=Sophos;i="5.31,546,1473112800"; d="scan'208,217";a="246656317" Received: from mail-yw0-f181.google.com ([209.85.161.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Nov 2016 09:39:20 +0100 Received: by mail-yw0-f181.google.com with SMTP id r204so57653899ywb.0 for ; Fri, 25 Nov 2016 00:39:20 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to; bh=1isBwEkjmJHBBbvm7CmNbaN+QHPmADgccmV8f9wLjmg=; b=OQnbKPeGlHaFRp0Lkx0j5pwNAngqj/um6cnEVGAAoyeqcXxt9mJuZ1lkSuc9px1KA7 hWtTYROM7yYBTseWv5JvTa2qM2Rbj/GPdMivPNxL+j9No4TYH0oSXKmZlp5t3AuTS7p8 IAtWAv1T9NFF81vX9Y85mMMyOLqxNegcpJ0+pfNhkWXh2TLTvcmT+fVp70cgWRNli1Xb iywE5IfLUwV5C2zIlUWPcJwCBc3CoZVWNQZit2vGQAJQdXw9lkI4+rZ6reDvv2njt7+c +50aSmvmi2byP2mkrgKP58NtagfKdj4+x1TxO0xwsKw9B8GVWh8v2E3MewdkoGAtce/y bOFg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=1isBwEkjmJHBBbvm7CmNbaN+QHPmADgccmV8f9wLjmg=; b=Z8JxSylzc+L60xRoISTK8p21JTbYe75vgxbqpjBHNrU9zS/qSfhpt5kfpjWlHTzeHB vScJEFUl6jPvuleJj2u0CSD6zIMZ0QDSr9kyHb0s+EvxOQCaLXyu7kYDQCIaf1be6Ot5 LpiShAgSHyXMZ8R09VQha/yC7dq2yfV2j/WvCCgh3qnY4qoi4mRPqYO+g5RTrR5IjHTr Fbg1q8pJ3+jTSgx8/CATJiERWFYmdnYSdPpVZKOb1lxzVilKpSO9b7Dhi1i5dkriNSQH Afsd/OqfZ7iQEu7ItV0XR8ulogedSjy9ZKt+3X11iVqDSrMCFx9MOpGI1BatCGquPPel ZVbg== X-Gm-Message-State: AKaTC00Uc1Xvi/ruolCqNECt1swRZ2Wp8/8x7MPu6UjXxdbZ40WI5MuwvB0M8/TUb7iyK7THP7xcjM3UPn9PhA== X-Received: by 10.129.85.9 with SMTP id j9mr7769431ywb.283.1480063158698; Fri, 25 Nov 2016 00:39:18 -0800 (PST) MIME-Version: 1.0 Received: by 10.129.80.68 with HTTP; Fri, 25 Nov 2016 00:39:18 -0800 (PST) From: Julien Blond Date: Fri, 25 Nov 2016 09:39:18 +0100 Message-ID: To: OCaml mailing-list Content-Type: multipart/alternative; boundary=001a113f16d6d1ca9c05421c0ee1 Subject: [Caml-list] Empty polymorphic variant set --001a113f16d6d1ca9c05421c0ee1 Content-Type: text/plain; charset=UTF-8 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 --001a113f16d6d1ca9c05421c0ee1 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi,

Let's try something :<= br>
$ ocaml
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 OCa= ml 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 set in ty= pe expressions or if it's a bug ?

Regards,

-- Julien Blond
--001a113f16d6d1ca9c05421c0ee1--