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 0FD607EE99 for ; Tue, 10 Dec 2013 14:22:10 +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=74.125.82.171; 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 74.125.82.171 as permitted sender) identity=mailfrom; client-ip=74.125.82.171; 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-we0-f171.google.com) identity=helo; client-ip=74.125.82.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="lukstafi@gmail.com"; x-sender="postmaster@mail-we0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag8DAMsUp1JKfVKrlGdsb2JhbABZhBK5GoETCBYOAQEBAQcLCwkSKoIcCQEBBAFAARseAwELBgUDAQc7IQEBEQEFARwGE4dvAQMJBqUUjFmDCYRCChknDWSGAxEBBQyMZ4IZhDQElimBa4xag0wYKYRWOw X-IPAS-Result: Ag8DAMsUp1JKfVKrlGdsb2JhbABZhBK5GoETCBYOAQEBAQcLCwkSKoIcCQEBBAFAARseAwELBgUDAQc7IQEBEQEFARwGE4dvAQMJBqUUjFmDCYRCChknDWSGAxEBBQyMZ4IZhDQElimBa4xag0wYKYRWOw X-IronPort-AV: E=Sophos;i="4.93,865,1378850400"; d="scan'208";a="48047649" Received: from mail-we0-f171.google.com ([74.125.82.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Dec 2013 14:22:09 +0100 Received: by mail-we0-f171.google.com with SMTP id q58so4970527wes.30 for ; Tue, 10 Dec 2013 05:22:09 -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=jqBIePGt43ZDtBbbvCsCUJgg5ygO38IlOfoM/nTybiU=; b=o2WK3EGQspHScRcL1ikC6VsetOJccitcid4zS3wzVojjW69aj7gBjkpi9BDpii6IFe faFyHoXbsvTMlUMtlTZW7xu6qogoyXlqXqHc2W3RcyMomAbqmXk8ZUwOx/7q/UDQ9OY+ Ha+PZ3WZhd+Ir4Wk/u5QHStEh4E1408KZuqi5at6pZv+lq/mCuOHypQ/ADUwNkoU35Kb AOiI8DV1MKnui2RXIFGkSmQMYBEc6wreUXU8Ag8HAWmzB+lmo9eqDC2nkg3MMZUHKWjN x2ivUTUkcUlKs6VxY0yTgIqnPdTlqx8Ps7K1LxElSkHraRPf7kV3psM4ZNem2jxuWbOq c1zw== X-Received: by 10.194.93.193 with SMTP id cw1mr20831012wjb.38.1386681729515; Tue, 10 Dec 2013 05:22:09 -0800 (PST) MIME-Version: 1.0 Received: by 10.227.36.201 with HTTP; Tue, 10 Dec 2013 05:21:49 -0800 (PST) In-Reply-To: References: From: Lukasz Stafiniak Date: Tue, 10 Dec 2013 14:21:49 +0100 Message-ID: To: Caml Content-Type: multipart/alternative; boundary=047d7bdc0538e7881e04ed2dfff1 Subject: Re: [Caml-list] Polymorphic recursion and GADTs --047d7bdc0538e7881e04ed2dfff1 Content-Type: text/plain; charset=ISO-8859-1 On Tue, Dec 10, 2013 at 2:20 PM, Lukasz Stafiniak wrote: > On Mon, Dec 9, 2013 at 10:34 PM, Lukasz Stafiniak wrote: > >> The annotation needs to be directly at the "function" node: >> >> > Even better: no (additional) annotation is needed if I export the > beta-redex as a match clause. > *as a match expression --047d7bdc0538e7881e04ed2dfff1 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
On T= ue, Dec 10, 2013 at 2:20 PM, Lukasz Stafiniak <lukstafi@gmail.com>= wrote:
=
On Mon, Dec 9, 2013 at 10:34 P= M, Lukasz Stafiniak <lukstafi@gmail.com> wrote:
The annotation needs to be = directly at the "function" node:


Even better: no (additional) annotation is needed if I= export the beta-redex as a match clause.
*as a match expression
--047d7bdc0538e7881e04ed2dfff1--