From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 5BAFABB9A for ; Wed, 9 Nov 2005 13:39:24 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jA9CdNtS014635 for ; Wed, 9 Nov 2005 13:39:23 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA11688 for ; Wed, 9 Nov 2005 13:39:23 +0100 (MET) Received: from smtp1.adl2.internode.on.net (smtp1.adl2.internode.on.net [203.16.214.181]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jA9CdLmq002999 for ; Wed, 9 Nov 2005 13:39:22 +0100 Received: from rosella (ppp7-104.lns1.syd7.internode.on.net [59.167.7.104]) by smtp1.adl2.internode.on.net (8.12.9/8.12.6) with ESMTP id jA9CdDEc076943; Wed, 9 Nov 2005 23:09:14 +1030 (CST) (envelope-from skaller@users.sourceforge.net) Subject: Re: [Caml-list] ocamlyacc: e - the start symbol expr has a polymorphic type From: skaller To: Jacques Garrigue Cc: jon@ffconsultancy.com, caml-list@inria.fr In-Reply-To: <20051109.212603.63126983.garrigue@math.nagoya-u.ac.jp> References: <200511081324.32311.jon@ffconsultancy.com> <20051109.212603.63126983.garrigue@math.nagoya-u.ac.jp> Content-Type: text/plain Date: Wed, 09 Nov 2005 23:39:13 +1100 Message-Id: <1131539953.8562.0.camel@rosella> Mime-Version: 1.0 X-Mailer: Evolution 2.4.1 Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 4371EDFB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4371EDF9.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocamlyacc:01 expr:01 ocaml:01 wrote:01 sourceforge:01 polymorphic:01 jacques:01 garrigue:03 yacc:06 wed:07 john:08 2005:91 felix:08 felix:08 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 On Wed, 2005-11-09 at 21:26 +0900, Jacques Garrigue wrote: > Note that a pure ocaml yacc replacement is in preparation, which might > be able to solve such problems. Excellent news!! -- John Skaller Felix, successor to C++: http://felix.sf.net