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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 5CC507EE94 for ; Sun, 6 Jan 2013 01:31:33 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jacques.garrigue@gmail.com) identity=pra; client-ip=209.85.160.48; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="jacques.garrigue@gmail.com"; x-sender="jacques.garrigue@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of jacques.garrigue@gmail.com designates 209.85.160.48 as permitted sender) identity=mailfrom; client-ip=209.85.160.48; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="jacques.garrigue@gmail.com"; x-sender="jacques.garrigue@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pb0-f48.google.com) identity=helo; client-ip=209.85.160.48; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="jacques.garrigue@gmail.com"; x-sender="postmaster@mail-pb0-f48.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqcBACPF6FDRVaAwk2dsb2JhbAArGoY5pEaBaIZ3iXcWDgEBAQEJCQsJFAQjgh4BAQQBCBsECwEFCAEbEgwDAQYBBAUBBREEAQEDAgkdAgIjEQEFAQEJCggGARoJAYdyAQMJBQEMLJlsi2RPgnuDegoZJwMKWYYQAQUMgRaLS4MVMmEDiF+OSIoWgzY/hCWBYg X-IronPort-AV: E=Sophos;i="4.84,417,1355094000"; d="scan'208";a="188582398" Received: from mail-pb0-f48.google.com ([209.85.160.48]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Jan 2013 01:31:32 +0100 Received: by mail-pb0-f48.google.com with SMTP id rq13so9905240pbb.21 for ; Sat, 05 Jan 2013 16:31:30 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:message-id:from:to:references:in-reply-to:subject:date :mime-version:content-type:content-transfer-encoding:x-priority :x-msmail-priority:importance:x-mailer:x-mimeole; bh=REhdwIT/UZrzyMut2sBA4zcgTu7W8I1AtATXYOLO0qI=; b=q9j/h4tjFCrKFNY+48ZYpEQx6W+R3xAO4cBPjwvBo7HDNExKF5NIQ6CJgK6tR07gD+ 50jWnE10bScYhoqvHPpaiqlaXJA7TMqXc3vytCnthv5rj9dtTAxm4VjoA+pbGUgwiOBX uVe4gPSdlbL4sZMX6Ewjucx4607XoHPIzaK/6b2wtepmBD+YWcV4E2dZvHcT+0atG+Xf iB4Vpt14s1YuaG39FvxK7vxXy/il47cJN4G2X+GeH57lMnsTG5mdKNjth1ivqB5ICB9E 8zbTW9YjTFrV8Xx+c2T0uzJicaSxm2Kp8b3u+GMI1h80wz1YxUSCvTg6QvfLeYhEjyDA uuig== X-Received: by 10.68.203.198 with SMTP id ks6mr174072940pbc.35.1357432290444; Sat, 05 Jan 2013 16:31:30 -0800 (PST) Received: from VAIO (58x158x128x157.ap58.ftth.ucom.ne.jp. [58.158.128.157]) by mx.google.com with ESMTPS id ue7sm34828094pbc.53.2013.01.05.16.31.28 (version=SSLv3 cipher=OTHER); Sat, 05 Jan 2013 16:31:29 -0800 (PST) Message-ID: <75D5C8372DD3427FA865B97E9A9C4062@VAIO> From: "Jacques.Garrigue" To: "Norm Hardy" , "Caml List" References: <13EC7FF3-880B-414A-AEDB-8DDC1516D651@att.net> In-Reply-To: <13EC7FF3-880B-414A-AEDB-8DDC1516D651@att.net> Date: Sun, 6 Jan 2013 09:07:02 +0900 MIME-Version: 1.0 Content-Type: text/plain; format=flowed; charset="utf-8"; reply-type=original Content-Transfer-Encoding: 8bit X-Priority: 3 X-MSMail-Priority: Normal Importance: Normal X-Mailer: Microsoft Windows Live Mail 15.4.3508.1109 X-MimeOLE: Produced By Microsoft MimeOLE V15.4.3508.1109 X-Validation-by: jacques.garrigue@gmail.com Subject: Re: [Caml-list] GADTs in the manual Documentation bugs also go to the bug tracking system, in the "OCaml documentation" category. http://caml.inria.fr/mantis/bug_report_page.php > It seems clear to me that the subtext “| Add : (int -> int -> int) term” > is meant to be a constr-decl but none of the three alternative forms > produce that. The alternative, new with GADTs, requires a ->. Right, there is a missing production: constr-name : typexpr for constructors without arguents. > In the explanatory text there is the phrase “where type parameters are > instantiated” which I do not understand. This means that the type parameters may be more specific than in the generic case. For instance int term is more specific than 'a term. Jacques Garrigue -----Original Message----- From: Norman Hardy Sent: Sunday, January 06, 2013 2:56 AM To: Caml List 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. -- 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