From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pAB8OAar012675 for ; Fri, 11 Nov 2011 09:24:10 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0EANPavE7Vujhf/2dsb2JhbABEDqoLgQWBcgEBBScTPxALGBwSFCghiBcGtxeJfgSZVIwSOA X-IronPort-AV: E=Sophos;i="4.69,493,1315173600"; d="scan'208";a="118301419" Received: from witko.kerneis.info ([213.186.56.95]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 11 Nov 2011 09:24:04 +0100 Received: from gabriel by witko.kerneis.info with local (Exim 4.72) (envelope-from ) id 1ROmP4-0003BW-Qv; Fri, 11 Nov 2011 09:24:03 +0100 Date: Fri, 11 Nov 2011 09:24:02 +0100 From: Gabriel Kerneis To: Jacques Garrigue Cc: caml-list@inria.fr Message-ID: <20111111082402.GO27144@kerneis.info> References: <20111111.165707.71105223.garrigue@math.nagoya-u.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20111111.165707.71105223.garrigue@math.nagoya-u.ac.jp> User-Agent: Mutt/1.5.20 (2009-06-14) X-SA-Exim-Connect-IP: X-SA-Exim-Mail-From: gabriel@kerneis.info X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on witko.kerneis.info X-Spam-Level: X-SA-Exim-Version: 4.2.1 (built Mon, 22 Mar 2010 06:51:10 +0000) X-SA-Exim-Scanned: Yes (on witko.kerneis.info) Subject: Re: [Caml-list] New GADT iteration 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