fixed On Fri, Nov 11, 2011 at 3:24 AM, Gabriel Kerneis <[email protected]> wrote: > 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 > >
-- 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
