From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 0819A820A3 for ; Thu, 5 Sep 2013 09:47:09 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.90,845,1371074400"; d="scan'208";a="25777516" Received: from wencory.loria.fr (HELO [152.81.3.42]) ([152.81.3.42]) by mail3-relais-sop.national.inria.fr with ESMTP; 05 Sep 2013 09:47:03 +0200 Message-ID: <522836F7.7050603@glondu.net> Date: Thu, 05 Sep 2013 09:47:03 +0200 From: =?ISO-8859-1?Q?St=E9phane_Glondu?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130821 Icedove/17.0.8 MIME-Version: 1.0 To: caml-list@inria.fr References: <5227E9FA.1020301@riken.jp> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Stability of order between polymorphic variants Le 05/09/2013 04:31, Anthony Tavener a écrit : > [...] given that the first char must be a capital letter [...] No: # `foo;; - : [> `foo ] = `foo -- Stéphane