From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 6237A7EE94 for ; Sat, 5 Jan 2013 18:56:44 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of norm_hardy@att.net) identity=pra; client-ip=98.139.44.190; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="norm_hardy@att.net"; x-sender="norm_hardy@att.net"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of norm_hardy@att.net) identity=mailfrom; client-ip=98.139.44.190; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="norm_hardy@att.net"; x-sender="norm_hardy@att.net"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nm28-vm0.access.bullet.mail.sp2.yahoo.com) identity=helo; client-ip=98.139.44.190; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="norm_hardy@att.net"; x-sender="postmaster@nm28-vm0.access.bullet.mail.sp2.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkcKAIVo6FBiiyy+d2dsb2JhbABFjmWudBYOAQwKCgkUJ4JfBgEBOIE9iBcBAw8MpEuEOgEFhA8CSAWGcQaMbYNHYYhkkxUujUWBUA X-IronPort-AV: E=Sophos;i="4.84,416,1355094000"; d="scan'208";a="188567485" Received: from nm28-vm0.access.bullet.mail.sp2.yahoo.com ([98.139.44.190]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 05 Jan 2013 18:56:43 +0100 Received: from [98.139.44.104] by nm28.access.bullet.mail.sp2.yahoo.com with NNFMP; 05 Jan 2013 17:56:41 -0000 Received: from [67.195.15.62] by tm9.access.bullet.mail.sp2.yahoo.com with NNFMP; 05 Jan 2013 17:56:41 -0000 Received: from [127.0.0.1] by smtp103.sbc.mail.gq1.yahoo.com with NNFMP; 05 Jan 2013 17:56:41 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=att.net; s=s1024; t=1357408601; bh=YEDxEneM0F6tSzTUf8Jo0EgsrqSyOB8WfpygN1vnRdQ=; h=X-Yahoo-Newman-Id:X-Yahoo-Newman-Property:X-YMail-OSG:X-Yahoo-SMTP:Received:From:Content-Type:Content-Transfer-Encoding:Reply-To:Subject:Date:Message-Id:To:Mime-Version:X-Mailer; b=pGFJOe7JfdVSRj4a696xQimcxYlxfvVCGJz/sTatAP+39WcyZg+DiMLMzU3z9VrAoEEFtONgmYLryv0BVpNF+UCVNOlI/BORDPp6hfaJLyEdx9b6pHvoxxyWWmjQPcSsb5lkhJHxQJtk8d0PhkcuFIBrDN/+VL2TG2BznbWUmWE= X-Yahoo-Newman-Id: 799125.29520.bm@smtp103.sbc.mail.gq1.yahoo.com X-Yahoo-Newman-Property: ymail-3 X-YMail-OSG: kZVVjZ4VM1nVE8grSbFVT7SEZXcs0rOviaEd91mCJz9JIgs GS_r_g8Eidtfiea9GHorOKjv9fUcbc7U6ZxFd.MTC04QK4dTcvx0NQlZNuRY QuUdnpxSU74eqRMli.s.gypyU8kpbpW4c04_fmZ1KSOQvAZZ.K6MHj4N_neN q8QWi0l6RpNSKb2f_y3upkoqVIEI5FwamKDterABZ.W6qzbllizuN_M_0Rtx bvlMlUdwuNf3cVU_m07ZAII78W21yGl9W.YY4MLfoK9icIEV3XU4OO9spFAs Ar2YAo3rCOM1txv9BfoYPBbgeuk.4NK6pkyf7cmkU.1qBfbIr9EXnnti4EHc E1bZeZRQzuVWQNH24ZGhTB6Lo5Dw.9NzhJaaRvKMUS3sZpRybs8EimJV65nC znvqe8BRfaAtXujDnMlT5nA5x7TOHNkHLyCCxcy5nLQpETx.ki4fzAQCvB7c iZBnh3tZc41aVCu8bF2TTwu693iE12fth9ApPKsBp73AHz8bEf.Z2MwMMCvk NyOYsP3J8.eNS X-Yahoo-SMTP: juCdm.uswBCq5fJmTNc9frZlrkdHHaRK7tSHJkBtsQ-- Received: from [64.9.240.240] (norm_hardy@64.9.240.240 with plain) by smtp103.sbc.mail.gq1.yahoo.com with SMTP; 05 Jan 2013 09:56:41 -0800 PST From: Norman Hardy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Reply-To: Norm Hardy Date: Sat, 5 Jan 2013 09:56:40 -0800 Message-Id: <13EC7FF3-880B-414A-AEDB-8DDC1516D651@att.net> To: Caml List Mime-Version: 1.0 (Apple Message framework v1283) X-Mailer: Apple Mail (2.1283) X-Validation-by: norm_hardy@att.net Subject: [Caml-list] GADTs in the manual Where do I report suspected errors in the manual? I think that the first example does not comply with the extended syntax. See http://cap-lore.com/Languages/ocaml/bb.html since I don't know how to reliably insert links into e-mail.