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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id E28417F72D for ; Thu, 9 Feb 2017 11:03:04 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=martindemello@gmail.com; spf=Pass smtp.mailfrom=martindemello@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f170.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of martindemello@gmail.com) identity=pra; client-ip=209.85.216.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of martindemello@gmail.com designates 209.85.216.170 as permitted sender) identity=mailfrom; client-ip=209.85.216.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@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-qt0-f170.google.com) identity=helo; client-ip=209.85.216.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="postmaster@mail-qt0-f170.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AczV9fxBC7GsbMhkIlnDqUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP76pMbcNUDSrc9gkEXOFd2CrakV16yG7+u4BSRAuc/H6y9SNsQUFlcsso?= =?us-ascii?q?Y/oU8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0Iu?= =?us-ascii?q?frymUqabtcm81viz9pvPeE0IwWPlOfIhZCmx+CfcrMQTkMNTI6I1zQOB9mpBf+?= =?us-ascii?q?BR3UtnIFuSm1D34cLmr7B59CEFnvs7689GGYn3Wqk8SbsQWDEvKXw04sHmsBTH?= =?us-ascii?q?SQyn6X4VU2FQmR1NVVuWpCrmV4v853Op/tF23zOXaIivFeg5?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DuAwAxPZxYhqrYVdFdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhH8RB4NSnBGXQoYiAoJ0B0QTAQEBAQEBAQEBAQESAQEBCAsLCh0?= =?us-ascii?q?vQhABgWAEARYBBIINCgEEASMEGQEbHQEDDAYFAwEHNwICIQEBEQEFARwGE4lbA?= =?us-ascii?q?QMNCKM8P4wCgWsYBQEcgwkFg1wKGScNVYM1AQEBAQEBBAEBAQEBAQEZAgYShjq?= =?us-ascii?q?Eb4JRhQmCXwWQQYp3OI15hBmRBYo0hxgUHoEVN4EeT1EXhB4ggg4fNYJAhHCBT?= =?us-ascii?q?gEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DuAwAxPZxYhqrYVdFdHAEBBAEBCgEBFwEBBAEBCgEBhH8?= =?us-ascii?q?RB4NSnBGXQoYiAoJ0B0QTAQEBAQEBAQEBAQESAQEBCAsLCh0vQhABgWAEARYBB?= =?us-ascii?q?IINCgEEASMEGQEbHQEDDAYFAwEHNwICIQEBEQEFARwGE4lbAQMNCKM8P4wCgWs?= =?us-ascii?q?YBQEcgwkFg1wKGScNVYM1AQEBAQEBBAEBAQEBAQEZAgYShjqEb4JRhQmCXwWQQ?= =?us-ascii?q?Yp3OI15hBmRBYo0hxgUHoEVN4EeT1EXhB4ggg4fNYJAhHCBTgEBAQ?= X-IronPort-AV: E=Sophos;i="5.35,349,1484002800"; d="scan'208,217";a="259524977" Received: from mail-qt0-f170.google.com ([209.85.216.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Feb 2017 11:03:04 +0100 Received: by mail-qt0-f170.google.com with SMTP id w20so186366918qtb.1 for ; Thu, 09 Feb 2017 02:03:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=R7377+EwfcUNhe/4RTFaQVpsH4X1WRiKmp/SjQWrMJs=; b=GgICb1p5Y4QioLuPpeEbi3WGWBCla5jHnnyxdlch35zC+VFX9Vy95jj+bxqt/VJ/It aMs3H6FEcCWhDsdi5FyA8hOY4qF6/OuzEJdqHknOVfzE8ydUiDPre0y269LjiyaarFSo CiwUlm+ShvVmruVwBYRNu1JwoTh9NB7gAILvHy9BJnLvu2VPjg2b9x8/XZRXz6M3i7Db CMIHfUpsRl4gv6cgx9HURYF5PJ9yAIqhPTrtfxesVzPRNn/D9tUdgnUYpHciKiTsby4H O6trRz35XVni4HMtFwJJZOK/KK1x9TbToAIthWpYDW2OkIwDMR9HOaE8ItLSS9O91h15 nu1A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=R7377+EwfcUNhe/4RTFaQVpsH4X1WRiKmp/SjQWrMJs=; b=laqLG9isNtx2RLeRKA2K8mahG7UB9s/Ff7xpR56+5APJharn5V3eUcPweYkWPHdAfG CeSu2Na0cwQO/pEE3l6qJWPGdPwUds4svr4qJR1xWTCDIf2ezmYfwhtLcuJVpSMiqgBr KenVZlNIKPwwJgijug+jYwZDGxhb1dJC0mRrB7M50ACf/18wkNKw/tAckCYBHu8TRq6C 7GOsEadaH8qI4Ya7llP/uH3I4XXJrMweF0PoeHwj0lYAz5GE7xDz4tYrPdcEXugB82Ve DQbq8i+E3znKP4xvGbQ2vOU3aosrWKPhevNs7o08iEgW7JBQwwjSXmNahfEAhSiYa7EM 1Ieg== X-Gm-Message-State: AMke39mIrLOG3b01Jwu28n9YMT8Cg3A0j5soO+ihPtL+6M0/zH+5GTo+nGcpRxfPNE0zPdOjJ+TJ0SiMK6pZ3Q== X-Received: by 10.200.39.200 with SMTP id x8mr1888894qtx.159.1486634583069; Thu, 09 Feb 2017 02:03:03 -0800 (PST) MIME-Version: 1.0 Received: by 10.237.62.246 with HTTP; Thu, 9 Feb 2017 02:03:02 -0800 (PST) In-Reply-To: References: From: Martin DeMello Date: Thu, 9 Feb 2017 02:03:02 -0800 Message-ID: To: Jeremy Yallop Cc: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=001a1135b5263c1c1e05481616de Subject: Re: [Caml-list] intersections of polymorphic variants --001a1135b5263c1c1e05481616de Content-Type: text/plain; charset=UTF-8 On Thu, Feb 9, 2017 at 1:57 AM, Jeremy Yallop wrote: > > > > let state_of_value v = match v with > > | `Red | `Blue | `Green -> ????? > > | `Missing -> Missing > > let state_of_value v = match v with > | (`Red | `Blue | `Green) as c -> Color (color_index c) > | `Missing -> Missing > perfect, thanks! martin --001a1135b5263c1c1e05481616de Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On T= hu, Feb 9, 2017 at 1:57 AM, Jeremy Yallop <yallop@gmail.com> = wrote:
>
> let state_of_value v =3D match v with
>=C2=A0 =C2=A0| `Red=C2=A0 | `Blue=C2=A0 | `Green -> ?????
>=C2=A0 =C2=A0| `Missing -> Missing

=C2=A0 let state_of_value v =3D match v with
=C2=A0 =C2=A0 | (`Red=C2=A0 | `Blue=C2=A0 | `Green) as c -> Color= (color_index c)
=C2=A0 =C2=A0 | `Missing -> Missing

perfect, thanks!

martin
--001a1135b5263c1c1e05481616de--