From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 016B6BBCA for ; Sat, 19 Apr 2008 13:29:34 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAOJzCUjAXQIm/2dsb2JhbACrLQ X-IronPort-AV: E=Sophos;i="4.25,682,1199660400"; d="scan'208";a="11638688" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Apr 2008 13:29:34 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3JBTY1L022540 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 19 Apr 2008 13:29:34 +0200 X-IronPort-AV: E=Sophos;i="4.25,682,1199660400"; d="scan'208";a="25190367" Received: from yquem.inria.fr ([128.93.8.37]) by mail4-relais-sop.national.inria.fr with ESMTP; 19 Apr 2008 13:29:34 +0200 Received: by yquem.inria.fr (Postfix, from userid 18965) id DB1D3BBCA; Sat, 19 Apr 2008 13:29:33 +0200 (CEST) Date: Sat, 19 Apr 2008 13:29:33 +0200 From: Francois Pottier To: Dario Teixeira Cc: Caml List Subject: Re: [Caml-list] OCaml Summer Project decisions are in Message-ID: <20080419112933.GA17050@yquem.inria.fr> Reply-To: Francois.Pottier@inria.fr References: <1208530260.16295.84.camel@nyc-qws-018.delacy.com> <865618.45090.qm@web54601.mail.re2.yahoo.com> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <865618.45090.qm@web54601.mail.re2.yahoo.com> User-Agent: Mutt/1.5.9i X-Miltered: at discorde with ID 4809D79E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 0100,:01 ocamlyacc:01 wrote:01 cristal:01 caml-list:01 pottier:01 pottier:01 francois:02 francois:02 fpottier:02 suggestion:03 fri:05 inria:06 inria:06 On Fri, Apr 18, 2008 at 05:42:37PM +0100, Dario Teixeira wrote: > menhir - there's another feature that Menhir could benefit from: > better integration with Ulex; I believe that Menhir's developers > have already expressed their intention of doing this -- are there > any developments on that front? Nothing so far (actually, we didn't express anything, as far as I know). That said, I can add your suggestion to the to-do list. I have never used ulex, so I don't know what needs to be done; suggestions welcome. How does ocamlyacc support ulex (assuming it does)? -- François Pottier Francois.Pottier@inria.fr http://cristal.inria.fr/~fpottier/