On Fri, Nov 11, 2011 at 04:57:07PM +0900, Jacques Garrigue wrote:
> Some of you may already be aware that GADTs are available in trunk,
> since this summer. Information is available here:
> https://sites.google.com/site/ocamlgadt/
I think there is a typo on this page: in the function length, the case
| Cons (a,b) -> length b
should be
| Cons (a,b) -> 1 + length b
The repository location is also flawed; instead of
svn checkout http://caml.inria.fr/caml/svn/ocaml/trunk
it should be
svn checkout http://caml.inria.fr/svn/ocaml/branches/gadts-devel
(note the spurious "caml" in the current url).
Best regards,
--
Gabriel Kerneis
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
