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 pAB8iRKa013072 for ; Fri, 11 Nov 2011 09:44:27 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai4DAH/fvE7RVdQ2kGdsb2JhbABDmjI0jysIIgEBAQEJCQ0HFAQhgXIBAQEBAxICExkBGxIMAwwGBQsNDSEiAREBBQEKEhkSEIdomgYKi2GCY4UaPYhwAgUKg0eGLQSID4wZjUg9hA4 X-IronPort-AV: E=Sophos;i="4.69,494,1315173600"; d="scan'208";a="118303144" Received: from mail-vw0-f54.google.com ([209.85.212.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Nov 2011 09:44:21 +0100 Received: by vws11 with SMTP id 11so5544887vws.27 for ; Fri, 11 Nov 2011 00:44:21 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type:content-transfer-encoding; bh=B/dZxspIKkONU60Fa9yKP1ykF7CF/JvtK6JX3gx9sHU=; b=I8tofxdvQA+6EdXV5Q2Fx7AlUvRE7A3zTlm1ovJSCYpdjRRH0zQsy9OinJ+RIEu+4J BXH0ss3cT30sZfFfrPVQec1nul13plFN0o8SlatORjOab354l73odYmvZOq9AE/JgBP1 BeI7mipGC++f5wiYTyEBSB26yUvuOWAJ7uyTc= MIME-Version: 1.0 Received: by 10.52.74.162 with SMTP id u2mr19155411vdv.69.1321001061032; Fri, 11 Nov 2011 00:44:21 -0800 (PST) Received: by 10.52.109.198 with HTTP; Fri, 11 Nov 2011 00:44:20 -0800 (PST) In-Reply-To: <20111111082402.GO27144@kerneis.info> References: <20111111.165707.71105223.garrigue@math.nagoya-u.ac.jp> <20111111082402.GO27144@kerneis.info> Date: Fri, 11 Nov 2011 03:44:20 -0500 Message-ID: From: Jacques Le Normand To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pAB8iRKa013072 Subject: Re: [Caml-list] New GADT iteration fixed On Fri, Nov 11, 2011 at 3:24 AM, Gabriel Kerneis 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 > >