* [Caml-list] GADTs in the manual @ 2013-01-05 17:56 Norman Hardy 2013-01-06 0:07 ` Jacques.Garrigue 0 siblings, 1 reply; 2+ messages in thread From: Norman Hardy @ 2013-01-05 17:56 UTC (permalink / raw) To: Caml List 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. ^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] GADTs in the manual 2013-01-05 17:56 [Caml-list] GADTs in the manual Norman Hardy @ 2013-01-06 0:07 ` Jacques.Garrigue 0 siblings, 0 replies; 2+ messages in thread From: Jacques.Garrigue @ 2013-01-06 0:07 UTC (permalink / raw) To: Norm Hardy, Caml List 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 ^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2013-01-06 0:31 UTC | newest] Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2013-01-05 17:56 [Caml-list] GADTs in the manual Norman Hardy 2013-01-06 0:07 ` Jacques.Garrigue
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).