From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id B5222BC6C for ; Wed, 6 Feb 2008 13:33:10 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAJQ3qUfAXQInh2dsb2JhbACQMgEBAQgKKZ0O X-IronPort-AV: E=Sophos;i="4.25,312,1199660400"; d="scan'208";a="7704698" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 06 Feb 2008 13:33:10 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m16CX9cN020094 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 6 Feb 2008 13:33:10 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAAc4qUfDuhM/nmdsb2JhbACQMgEBAQEBBgQGBwoYnQ8 X-IronPort-AV: E=Sophos;i="4.25,312,1199660400"; d="scan'208";a="22291387" Received: from mail16.bluewin.ch ([195.186.19.63]) by mail4-smtp-sop.national.inria.fr with ESMTP; 06 Feb 2008 13:33:09 +0100 Received: from [192.168.1.58] (85.0.99.234) by mail16.bluewin.ch (Bluewin 7.3.121) id 476BDE6F00A6F3B3; Wed, 6 Feb 2008 12:33:09 +0000 Cc: "caml-list List" Message-Id: From: =?ISO-8859-1?Q?B=FCnzli_Daniel?= To: Till Varoquaux In-Reply-To: <9d3ec8300802060424j6fbe3378m8ac51d14cc399d6b@mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v915) Subject: Re: [Caml-list] Re: Empty polymorphic variant type Date: Wed, 6 Feb 2008 13:33:13 +0100 References: <9d3ec8300802060416t39660ca3r9fbcf0fd1a161d43@mail.gmail.com> <9d3ec8300802060424j6fbe3378m8ac51d14cc399d6b@mail.gmail.com> X-Mailer: Apple Mail (2.915) X-Miltered: at concorde with ID 47A9A906.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bunzli:01 buenzli:01 polymorphic:01 caml-list:01 variant:02 seems:03 daniel:04 daniel:04 ecrit:06 kind:13 kind:13 type:14 type:14 but:14 but:14 Le 6 f=E9vr. 08 =E0 13:24, Till Varoquaux a =E9crit : > would work but it seems clunky and convoluted. Still clunky but what about type permission_kind =3D [ `Read | `Write ] type 'a account contraint 'a =3D [< `None | `Some of [< =20 permission_kind]];; Best, Daniel