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 450C87EEFD for ; Fri, 2 Oct 2015 00:06:25 +0200 (CEST) IronPort-PHdr: 9a23:vPtx2RN6ZKurCxYDfM4l6mtUPXoX/o7sNwtQ0KIMzox0KPX/rarrMEGX3/hxlliBBdydsKIYzbSN+Pi/EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35jxibv5o8KbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t/vQqALbQACTynwZW2QQ2loUUkmWpC39C7f4tTrzsOU15yCcMoWiTaErUDKtx79sQhj4ziwAMmhq3nvQj5lZl6JauxLpjhN22ZHdZMnBPfV3ZLzUeYpLGjdpUcNYVigHCYS5OdhcR9EdNPpV+tGu72AFqgGzUEzxXe4= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=agarwal1975@gmail.com; spf=Pass smtp.mailfrom=agarwal1975@gmail.com; spf=None smtp.helo=postmaster@mail-wi0-f175.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of agarwal1975@gmail.com) identity=pra; client-ip=209.85.212.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of agarwal1975@gmail.com designates 209.85.212.175 as permitted sender) identity=mailfrom; client-ip=209.85.212.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@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-wi0-f175.google.com) identity=helo; client-ip=209.85.212.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-wi0-f175.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BXAQBZrQ1Wm6/UVdFeg3tuBqxUkyGFeQKBMgc7EQEBAQEBAQEBEAEBAQEBBgsLCSEugh2CBwEBAQMBEhEdARsSCwEDAQsGBQQBBgMKDR0CAiEBAREBBQEKEgYTEhCHdgEDCggNqVWBMD4xi0eBbIJ5igMKGScDClaENwEBAQEBAQQBAQEBAQEBARQBBQ6LY4JQgjkEB4JpgUMFhX4Mj2gHhRaGDYFxghaRdYV8EiOBFxEmgjAjgXciM4l4AQEB X-IPAS-Result: A0BXAQBZrQ1Wm6/UVdFeg3tuBqxUkyGFeQKBMgc7EQEBAQEBAQEBEAEBAQEBBgsLCSEugh2CBwEBAQMBEhEdARsSCwEDAQsGBQQBBgMKDR0CAiEBAREBBQEKEgYTEhCHdgEDCggNqVWBMD4xi0eBbIJ5igMKGScDClaENwEBAQEBAQQBAQEBAQEBARQBBQ6LY4JQgjkEB4JpgUMFhX4Mj2gHhRaGDYFxghaRdYV8EiOBFxEmgjAjgXciM4l4AQEB X-IronPort-AV: E=Sophos;i="5.17,619,1437429600"; d="scan'208";a="149327152" Received: from mail-wi0-f175.google.com ([209.85.212.175]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Oct 2015 00:06:24 +0200 Received: by wicfx3 with SMTP id fx3so8187342wic.0 for ; Thu, 01 Oct 2015 15:06:24 -0700 (PDT) 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 :cc:content-type; bh=2SKzCGBnJg1Wan5JfPnUh+D/2TJZM2aUrY85q8oR2vk=; b=PuazE09lt2fHAGccCaNGxOZ7RF6+nTuoOu2Fbm//T0a1qMARH0H70+nVJS/njtv3gF ZQ0Vanbvd9QVucg5g7H/p5YnNWq/hbvI0GymOh9gO8pWB5vOKj9MQvQTySMFAOSQx6g9 vwHsIJBokCYXTeJ0kVugBF5Ju0X+BWS6xlE/wuNYq4mXm4DEDePxKk0G/hDJlgLq3Cgf ZgRMTpo8BXGOLmKRX+WwuGZtqKHwZEVox6nHZkmQLRcAw2eqLUV7qfvpJvgdbUV3S7/L zuHYtYKVBrJdB2enAxzV7zTn/lY+J5t11WpuamsViG1NVy8dkDtR3eDky6PBKcg1WFSn iUoQ== X-Received: by 10.194.75.169 with SMTP id d9mr12399832wjw.7.1443737184408; Thu, 01 Oct 2015 15:06:24 -0700 (PDT) MIME-Version: 1.0 Received: by 10.27.82.86 with HTTP; Thu, 1 Oct 2015 15:06:04 -0700 (PDT) In-Reply-To: References: From: Ashish Agarwal Date: Thu, 1 Oct 2015 18:06:04 -0400 Message-ID: To: Haoyang Wang Cc: Caml List Content-Type: multipart/alternative; boundary=047d7bb0433e069add052112429a Subject: Re: [Caml-list] type synonym for polymorphic variant --047d7bb0433e069add052112429a Content-Type: text/plain; charset=UTF-8 Embarrassing. I don't know why I thought I had to put brackets... Thanks! On Thu, Oct 1, 2015 at 5:47 PM, Haoyang Wang wrote: > > On Oct 1, 2015, at 2:41 PM, Ashish Agarwal > wrote: > > > > type s = [`A | `B] > > type t = [s] > > type t = s > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --047d7bb0433e069add052112429a Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Embarrassing. I don't know why I thought I had to put = brackets... Thanks!

On Thu, Oct 1, 2015 at 5:47 PM, Haoyang Wang <= hywang@pobox.com&= gt; wrote:
> O= n Oct 1, 2015, at 2:41 PM, Ashish Agarwal <agarwal1975@gmail.com> wrote:
>
> type s =3D [`A | `B]
> type t =3D [s]

type t =3D s

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocam= l_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--047d7bb0433e069add052112429a--