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 847897FB38 for ; Mon, 22 Dec 2014 19:40:47 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.138.90.158; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of darioteixeira@yahoo.com designates 98.138.90.158 as permitted sender) identity=mailfrom; client-ip=98.138.90.158; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nm10-vm2.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.90.158; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm10-vm2.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjsBAGZkmFRiilqeeWdsb2JhbABODYIGgVJYDIJ4tAGPRoVuAoEUBxYBAQEBAREBAQkLDAgSMIQNAQQBCxgIFQECNwEDCwYFGgINGQICLwEOAQYSBgEth3wBAQIJCA26MoFrBIJzgXGJJgEjAwEjA4VJAQEBAQEBAQEBAQEBAQEBAQEBAQEBEAECBAwBAQGBEosjgSGBWTuCaIFBAQSRT4U4hX8fWIJchyZPhBBvgkMBAQE X-IPAS-Result: AjsBAGZkmFRiilqeeWdsb2JhbABODYIGgVJYDIJ4tAGPRoVuAoEUBxYBAQEBAREBAQkLDAgSMIQNAQQBCxgIFQECNwEDCwYFGgINGQICLwEOAQYSBgEth3wBAQIJCA26MoFrBIJzgXGJJgEjAwEjA4VJAQEBAQEBAQEBAQEBAQEBAQEBAQEBEAECBAwBAQGBEosjgSGBWTuCaIFBAQSRT4U4hX8fWIJchyZPhBBvgkMBAQE X-IronPort-AV: E=Sophos;i="5.07,625,1413237600"; d="scan'208";a="114556328" Received: from nm10-vm2.bullet.mail.ne1.yahoo.com ([98.138.90.158]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Dec 2014 19:40:46 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1419273644; bh=dyjaFn+00nIp0SKIm353wgX7zesgtCWs2gvpLJSpu6E=; h=Date:From:Reply-To:To:In-Reply-To:References:Subject:From:Subject; b=OvzAw1PmlEsW/EwivfLgNgZVU6IkfwnRSkXb+OspNSraFfqapnASHxLmzlnkhIExsEqz8Yin9qD3FOhFA3aQ3kIVlFOr15KZz9ub+8Z+YLCFtxNcaNPfiWsBEnWzjxYTGryNFR7bsz2dmCTml6/Pep34FOmkZrRmD6hIuwhWeQ/ltMK1uBUfaTf2649DWT54UgofvzMBtaWwBj3KC9yNvocxe9VJ31iRm5vpNNekr0LxkrJyNO8OLOMusDy54U00bYkVlcZnchOlhraCHsNSPMjxiR0U8RasbpZ0RrQoh+iIRy6lJjONSLxlNdMgDPhL3RNZHleKEBs/kOEcr8VjFw== DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s2048; d=yahoo.com; b=J7eDgD88Ldm0cxXum7ZqN5DYq5hGqNG4tQ70f7y4hdUDfEf0nPUGctSld0rCjF8im4Dq9cB7D1/JMTaZxVLzgJ9CZr0nrpc5Hc7MYn/TZ6WSwbdeFubikYOAPzjAO4GperW02wEcI5rYrZS1poFe9EF76n4fV4xM5nS8aeEzKG9VN2YaPPQPpvwYpQK2DX54poTM0Llk4v1Oaj+IYFtxziiesBYCiqu4PCXDCSznE7wQzltr7KJgkluqXXLhivuBY4Qyp5stM8XSdbWcg2J6s2AIvLMmZJFRAFyLXwTL6AmANmxQp5G4DDrJbMh1SmXCoWkPUndCMG9095iChixVGg==; Received: from [98.138.226.179] by nm10.bullet.mail.ne1.yahoo.com with NNFMP; 22 Dec 2014 18:40:44 -0000 Received: from [98.138.89.193] by tm14.bullet.mail.ne1.yahoo.com with NNFMP; 22 Dec 2014 18:40:44 -0000 Received: from [127.0.0.1] by omp1051.mail.ne1.yahoo.com with NNFMP; 22 Dec 2014 18:40:44 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 393362.12138.bm@omp1051.mail.ne1.yahoo.com X-YMail-OSG: 7KsKAwwVM1nr1.BYM8pLp0m_DzKK3IEl8qr767vdQSeH60_bHuRDbKS09EObVtb 9y2xKttCPfgrm9BZEjbgjxyqKmZXvgXEZhXr5HWKY0snPra5eAZJSODbtSZKA0CDCM5Z9gCfeMu6 soxf8wgsME8ZuMicXbfKpKtCxuy.dmwCTQ5L2L1Hy_Ws6Qk3.11G8rbnpTmBszkKHLxH_DsiBu6C vHNO4GyV5tnCvW0risQ4u51zXmwb7JEZT5QoHgB4WemOR5D2MnBZNLjey4H32yM2dsbIluYeNpV8 OkvwIcKSdQoIkH4T2YG4Ejo2fIkKe4dskaDZcJqJRSHrpL68ycuO6F3dMayACbWfaEV6qucrs1DO itXjqXBh9v9c2kgych8pc642Jqy4eS9iHw.T2QrRi3.nJOqXyz6_PZlgnTEVnN9XYOqmM3qoAZbk gEf_BrUqegopNvCEWsASvNxOGMXFmR0g5a48HKYLxei9wPEJ.fTFPXJ4QD0BXeBTyHwhnHHbktMB 3DcbKAY0M88t3mfEzTmFzLaFsfachTR9.7KrcoBvg7wHhOi4fgCRlIXMsQjEhaBsB6BGXIt.Lq4K 2SWpmUW1AwB9zjOJLK5Gj0tkVfVXpFMfWKrATrwE83sJCF.JFQwCrXxYBGNSiGcMgXrO1OWHbOXN zycYaeWnBm_GPZwrHGQ-- Received: by 98.138.101.166; Mon, 22 Dec 2014 18:40:43 +0000 Date: Mon, 22 Dec 2014 18:40:40 +0000 (UTC) From: Dario Teixeira Reply-To: Dario Teixeira To: "Francois.Pottier@inria.fr" , "caml-list@inria.fr" Message-ID: <1950044747.179620.1419273640687.JavaMail.yahoo@jws100138.mail.ne1.yahoo.com> In-Reply-To: <20141217201448.GA27253@yquem.inria.fr> References: <20141217201448.GA27253@yquem.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] New release of Menhir (20141215) Hi, > More changes are planned. The type "env" exposed by the new incremental API is > currently opaque. We are planning to offer a range of functions that allow > inspecting and building values of type "env". This should allow the user to > implement new error handling and error recovery strategies outside of Menhir. I have one very concrete parsing problem which can potentially be solved elegantly by this new API. In the Lambtex parser [1], I need to switch between lexers mid-parsing (think handling verbatim-like blocks). The current solution is very hackish and complex, to the point that I've seriously considered switching to some parser combinator approach. Anyway, hopefully this particular use case will be solvable by the API once it allows inspection of values of type "env"! Best regards, Dario Teixeira [1] https://github.com/darioteixeira/lambdoc/tree/master/src/lib/lambdoc_read_lambtex_impl