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 E2B4B7EEFD for ; Fri, 2 Oct 2015 00:28:30 +0200 (CEST) IronPort-PHdr: 9a23:+Gk25RP5qEeA6POGuUcl6mtUPXoX/o7sNwtQ0KIMzox0Kfz7rarrMEGX3/hxlliBBdydsKIYzbSN+Pm7EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35jxibv5osabSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t/vQqALbQACTynwZW2QQ2loUUkmWpC39C6vxtS7zraJH1SebJoWiUbAzXD25qb1mRh7zoCgCPj89tmrQj5ojorhcpUeIvBx+2I6cSY6cLuV3euuJdNwTX3VIWp8ACHFpDYa1bo9JBO0Ea7UL57LhrkcD+EPtTTKnA/nin3oV33I= 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-f172.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.172; 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.172 as permitted sender) identity=mailfrom; client-ip=209.85.212.172; 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-f172.google.com) identity=helo; client-ip=209.85.212.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-wi0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BXAQBMsw1Wm6zUVdFeg3tuBqxUkyGFeQKBMQc7EQEBAQEBAQEBEAEBAQEBBgsLCSEugh2CBwEBAQMBEhEdARsSCwEDAQsGBQQHDQ0dAgIhAQERAQUBChIGExIQh3YBAwoIDalPgTA+MYtHgWyCeYoCChknAwpWhDcBAQEBAQEBAwEBAQEBAQEBFAEFDotjglCCOQQHgmmBQwWFfgyPaAeFFoYNgXGCFpF1hXwSI4EXESaCMCOBdyIziXgBAQE X-IPAS-Result: A0BXAQBMsw1Wm6zUVdFeg3tuBqxUkyGFeQKBMQc7EQEBAQEBAQEBEAEBAQEBBgsLCSEugh2CBwEBAQMBEhEdARsSCwEDAQsGBQQHDQ0dAgIhAQERAQUBChIGExIQh3YBAwoIDalPgTA+MYtHgWyCeYoCChknAwpWhDcBAQEBAQEBAwEBAQEBAQEBFAEFDotjglCCOQQHgmmBQwWFfgyPaAeFFoYNgXGCFpF1hXwSI4EXESaCMCOBdyIziXgBAQE X-IronPort-AV: E=Sophos;i="5.17,619,1437429600"; d="scan'208";a="149328826" Received: from mail-wi0-f172.google.com ([209.85.212.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Oct 2015 00:28:28 +0200 Received: by wicfx3 with SMTP id fx3so10395759wic.1 for ; Thu, 01 Oct 2015 15:28:27 -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=AUQtuis9QAdq6We4+I945bi6tjTGLpTfqupAGrVhRxA=; b=m92zUdZpMWrJs6yo7TR4HHCH/7rOzyrpQrh4UcNk69gLxQMdNDgAJOD43N1jHgp+MQ Bw4x9JEi+RMc62dDy6nasxXSdxqUQiAufAKm+TI0r40eX8AAjcmAxfLzmcYnlylu4Gia aLDq4UCglcdWsyfxdKQ5vk0giISwK7XV2u4ggaHOBwD22O3O4ajr/OiaPWw0yRIq/unD gVAosaFg0eV7mOiegs7HxEJN7PAJa+JEc4IZf+SI4CD+8cLrcWIBOL5azLacw5T36p3k MvxmJ+FXwu7jQY/GMPjqGOVrT6CqjFRPBeYkT2yqJOW0bgcN2RipSEcpVCMJbjhxwc/+ muFQ== X-Received: by 10.180.92.201 with SMTP id co9mr1104608wib.58.1443738507808; Thu, 01 Oct 2015 15:28:27 -0700 (PDT) MIME-Version: 1.0 Received: by 10.27.82.86 with HTTP; Thu, 1 Oct 2015 15:28:08 -0700 (PDT) In-Reply-To: References: From: Ashish Agarwal Date: Thu, 1 Oct 2015 18:28:08 -0400 Message-ID: To: Thomas Refis Cc: Haoyang Wang , Caml List Content-Type: multipart/alternative; boundary=f46d043c7ff2e8138405211290fb Subject: Re: [Caml-list] type synonym for polymorphic variant --f46d043c7ff2e8138405211290fb Content-Type: text/plain; charset=UTF-8 On Thu, Oct 1, 2015 at 6:20 PM, Thomas Refis wrote: > Note the you could also do "type t = [ | s ]" > Actually I had tried that, but it doesn't work. > > 2015-10-01 18:06 GMT-04:00 Ashish Agarwal : > > 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 > > > > > --f46d043c7ff2e8138405211290fb Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On T= hu, Oct 1, 2015 at 6:20 PM, Thomas Refis <thomas.refis@gmail.com&= gt; wrote:
Note the you could also= do "type t =3D [ | s ]"

Actu= ally I had tried that, but it doesn't work.

= =C2=A0

2015-10-01 18:06 GMT-04:00 Ashish Agarwal <agarwal1975@gmail.com>:
> 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> wrote:
>>
>> > On 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/g= roup/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>

--f46d043c7ff2e8138405211290fb--