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 10C267FCE3 for ; Wed, 1 Apr 2015 14:43:53 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of andre@digirati.com.br) identity=pra; client-ip=187.73.32.199; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andre@digirati.com.br"; x-sender="andre@digirati.com.br"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of andre@digirati.com.br designates 187.73.32.199 as permitted sender) identity=mailfrom; client-ip=187.73.32.199; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andre@digirati.com.br"; x-sender="andre@digirati.com.br"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@mta123.f1.k8.com.br designates 187.73.32.199 as permitted sender) identity=helo; client-ip=187.73.32.199; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andre@digirati.com.br"; x-sender="postmaster@mta123.f1.k8.com.br"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CnAQCi5xtVnMcgSbtcg1hcgxXCOwqFcwKBPkwBAQEBAQERAQEBAQEICwkJFC5BAYNTAQUjHQEBNwEPCxgJIQICDwIPCwIBKQYMAQEHAQGILQuze3CEYgEFlEMBAQEBBgEBAQEYBosphHgHgi0MLxKBM45Zg3uBMoZdhwRmjE0ChCpVAQGCQQEBAQ X-IPAS-Result: A0CnAQCi5xtVnMcgSbtcg1hcgxXCOwqFcwKBPkwBAQEBAQERAQEBAQEICwkJFC5BAYNTAQUjHQEBNwEPCxgJIQICDwIPCwIBKQYMAQEHAQGILQuze3CEYgEFlEMBAQEBBgEBAQEYBosphHgHgi0MLxKBM45Zg3uBMoZdhwRmjE0ChCpVAQGCQQEBAQ X-IronPort-AV: E=Sophos;i="5.11,503,1422918000"; d="asc'?scan'208";a="107919146" Received: from mta123.f1.k8.com.br ([187.73.32.199]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 01 Apr 2015 14:43:46 +0200 Received: from localhost (localhost [127.0.0.1]) by smtpz.f1.k8.com.br (Postfix) with ESMTP id 300AB61430; Wed, 1 Apr 2015 12:43:43 +0000 (UTC) X-Virus-Scanned: amavisd-new at k8.com.br Received: from smtpz.f1.k8.com.br ([127.0.0.1]) by localhost (mta123.f1.k8.com.br [127.0.0.1]) (amavisd-new, port 10024) with LMTP id VdzrUeBcr5pY; Wed, 1 Apr 2015 12:43:39 +0000 (UTC) Received: from [10.200.12.21] (unknown [201.76.188.234]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtpz.f1.k8.com.br (Postfix) with ESMTPSA id F0A1960CDB; Wed, 1 Apr 2015 12:43:38 +0000 (UTC) X-DKIM: OpenDKIM Filter v2.6.8 smtpz.f1.k8.com.br F0A1960CDB DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=digirati.com.br; s=default; t=1427892219; bh=1H6GlztpeHncLG/S4/9ZQ04t9/z9YkGB/h3iF2Yao/0=; h=Date:From:To:CC:Subject:References:In-Reply-To; b=qu8vT4FW+U/JNv7kIc+gwSAcYgbWO6RI/R4ffJXKic4B7rovx15Hsvw98z5sKp9MY pLHiyCXZlg7TQz3mkpUgOSZqhsBSTs4THorQxFZS3fjivEcKO2nh4YOmmvZhNOh4cn CBMvm3SbysVfb7B11GoFx0E0ZxKN205aoZ0+zntU= Message-ID: <551BE7F7.20706@digirati.com.br> Date: Wed, 01 Apr 2015 09:43:35 -0300 From: Andre Nathan User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.5.0 MIME-Version: 1.0 To: Jeremy Yallop CC: caml users References: <551AE480.1000008@digirati.com.br> <20150331194531.GA12168@yquem.inria.fr> <551B067C.2030006@digirati.com.br> <551BE19E.3010302@digirati.com.br> In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="s6GfueFKlK7jF1PeqPMQnq47qIC7O455c" Subject: Re: [Caml-list] GADTs and Menhir This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --s6GfueFKlK7jF1PeqPMQnq47qIC7O455c Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 04/01/2015 09:27 AM, Jeremy Yallop wrote: > There's a more detailed explanation of the technique in the lecture > notes on the following page: >=20 > http://www.cl.cam.ac.uk/teaching/1415/L28/materials.html >=20 > The section you want is >=20 > 8.4.2 Pattern: building GADT values >=20 > on p83 of the notes from 9 February, but it might also be helpful to > look through some of the earlier notes for background. Thank you! --s6GfueFKlK7jF1PeqPMQnq47qIC7O455c Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.22 (GNU/Linux) iQEcBAEBAgAGBQJVG+f6AAoJED4JW1qwFY2c/jgIAIjoGSPnjjv4Tpljfn0FkbFK Ps60yFFw6qf9VvHnpMINOVxH4vDdwfMtaFoHC5hntBLIgPgCMNBUSLzmM9331xuE 03vN2teVqa00Xsm/Z6W529BIlTGUpzNKNlorvSxyQJjVAgLeNVmoIbhMQWoBVMcF 1dTMa8hDTmTEeA2ZfiCvAklFB/38073JWCZelcWnLLjk1ve2ZtXIoBGvWNHQeOV0 FRyWMn8MQzIf7Uuo7b+qx375go+yoonuybLiP/9c+q9pVOD60OEEWqkKbJDcZqCW 7Ac0s27MKJsX0w7QHcoTXgPr87YYAKNsmcDyIrD/LZTJ8b2fkQyzLKv+IU2/1/U= =2GT5 -----END PGP SIGNATURE----- --s6GfueFKlK7jF1PeqPMQnq47qIC7O455c--