From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 23CB97FB38 for ; Thu, 25 Dec 2014 00:30:03 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.07,639,1413237600"; d="scan'208";a="114789021" Received: from yquem.inria.fr ([128.93.8.37]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Dec 2014 00:30:03 +0100 Received: by yquem.inria.fr (Postfix, from userid 18965) id 01B1FE1A03; Thu, 25 Dec 2014 00:30:02 +0100 (CET) Date: Thu, 25 Dec 2014 00:30:02 +0100 From: Francois Pottier To: Dario Teixeira Cc: "caml-list@inria.fr" Message-ID: <20141224233002.GE7225@yquem.inria.fr> Reply-To: Francois.Pottier@inria.fr References: <20141217201448.GA27253@yquem.inria.fr> <1950044747.179620.1419273640687.JavaMail.yahoo@jws100138.mail.ne1.yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <1950044747.179620.1419273640687.JavaMail.yahoo@jws100138.mail.ne1.yahoo.com> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] New release of Menhir (20141215) On Mon, Dec 22, 2014 at 06:40:40PM +0000, Dario Teixeira wrote: > Anyway, hopefully this particular use case will be solvable by the API once > it allows inspection of values of type "env"! Hmm, maybe. The new API will probably allow you to inspect the stack (which is basically a list of pairs of a state and a semantic value) and to inspect a state (which can be viewed as a set of LR(1) items). I don't know whether that would offer you a simple way of deciding when to switch from one lexer to another... -- François Pottier Francois.Pottier@inria.fr http://gallium.inria.fr/~fpottier/