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 E5C707EC6E for ; Thu, 19 Dec 2013 23:20:28 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of lukstafi@gmail.com) identity=pra; client-ip=209.85.212.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="lukstafi@gmail.com"; x-sender="lukstafi@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of lukstafi@gmail.com designates 209.85.212.182 as permitted sender) identity=mailfrom; client-ip=209.85.212.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="lukstafi@gmail.com"; x-sender="lukstafi@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-wi0-f182.google.com) identity=helo; client-ip=209.85.212.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="lukstafi@gmail.com"; x-sender="postmaster@mail-wi0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqMCAAxws1LRVdS2lGdsb2JhbABZhBiDA7YsgQ0IFg4BAQEBBwsLCRIqghwJAQEBAwEOFR0BGwkVAwELBgUDAQc3AgIhAQERAQUBHAYTh28BAwkIpVWMB1ODCY4JChknDWSGGBEBBQyMc4ExEQFXgm6BSASWK4FrjFqDTRgphFg7gTU X-IPAS-Result: AqMCAAxws1LRVdS2lGdsb2JhbABZhBiDA7YsgQ0IFg4BAQEBBwsLCRIqghwJAQEBAwEOFR0BGwkVAwELBgUDAQc3AgIhAQERAQUBHAYTh28BAwkIpVWMB1ODCY4JChknDWSGGBEBBQyMc4ExEQFXgm6BSASWK4FrjFqDTRgphFg7gTU X-IronPort-AV: E=Sophos;i="4.95,515,1384297200"; d="scan'208";a="49781964" Received: from mail-wi0-f182.google.com ([209.85.212.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Dec 2013 23:20:28 +0100 Received: by mail-wi0-f182.google.com with SMTP id en1so2893719wid.15 for ; Thu, 19 Dec 2013 14:20:28 -0800 (PST) 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 :content-type; bh=Gt5AA1FFfEin2ffvHSIfcSB7D+Dwiv5AK3uJIXsdFkU=; b=IgvGtH367M6vxi18z9Yf22LEU1ZJm/WnvfzA2PFM1ErV5BkIHVromP9h5v9L+Hco/N 8/WKChjppF0JbNBN7hgLZFNlhgf0WaugIDKRlL7VH/H1M7wI7YvGV8YtdGmA2D+s4SQ3 CiwtGui6+3sDUDjyfdLSS68pydkvYzUpX8UAfvWri6cuejh9v81heNktSlvSRwhQSkOe 3Twb6jEBRjZR+M3SzLL9JyYzXmDgV9MiLnHw9DbmDV5EE10r2hT0Id34cZMtjXqsq/zC aJwIpTfFVzVBY1IBRoIS4ewL24+AIhkH7a7sxn8eb/6YmaMGwLug8r9Guq5oFQcLpDIf TZCw== X-Received: by 10.180.83.1 with SMTP id m1mr4653099wiy.9.1387491628542; Thu, 19 Dec 2013 14:20:28 -0800 (PST) MIME-Version: 1.0 Received: by 10.227.36.201 with HTTP; Thu, 19 Dec 2013 14:20:08 -0800 (PST) In-Reply-To: References: From: Lukasz Stafiniak Date: Thu, 19 Dec 2013 23:20:08 +0100 Message-ID: To: Caml Content-Type: multipart/alternative; boundary=f46d04428dd4a5f1fa04edea91d6 Subject: Re: [Caml-list] GADT definition --f46d04428dd4a5f1fa04edea91d6 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Sorry! I've spotted it reading the email. (I should read before sending.) On Thu, Dec 19, 2013 at 11:17 PM, Lukasz Stafiniak wrot= e: > Hi, > > This is just a test so I'm not much concerned, but I have these > definitions: > > type z > type _ s > type (_, _, _) balance =3D > | Less : (*=E2=88=80'a.*) ('a, 'a s, 'a s) balance > | Same : (*=E2=88=80'b.*) ('b, 'b, 'b) balance > | More : (*=E2=88=80'a.*) ('a s, 'a, 'a s) balance > type _ aVL =3D > | Leaf : z aVL > (here) --f46d04428dd4a5f1fa04edea91d6 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Sorry! I've spotted it reading the email. (I should re= ad before sending.)


On Thu, Dec 19, 2013 at 11:17 PM, Lukasz Stafiniak <lukstafi@gm= ail.com> wrote:
Hi,

This= is just a test so I'm not much concerned, but I have these definitions= :

type z
type _ s
type (_, _, _)= balance =3D
=C2=A0 | Less : (*=E2=88=80'a.*) ('a, 'a= s, 'a s) balance
=C2=A0 | Same : (*=E2=88=80'b.*) ('b, 'b, 'b) balance<= /div>
=C2=A0 | More : (*=E2=88=80'a.*) ('a s, 'a, 'a s)= balance
type _ aVL =3D
=C2=A0 | Leaf : z aVL
(here)
--f46d04428dd4a5f1fa04edea91d6--