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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 5F07C7FB38 for ; Fri, 26 Dec 2014 13:16:46 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.138.91.35; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of darioteixeira@yahoo.com designates 98.138.91.35 as permitted sender) identity=mailfrom; client-ip=98.138.91.35; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nm28-vm1.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.91.35; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm28-vm1.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoYAABFRnVRiilsjlGdsb2JhbABPDYIGgVJYDIJ5tCOPSIVvAoEDBxYBAQEBAREBAQEBBwsLCRIwhA0BBAELGAgVAQI3AQMLBgUaAg0ZAgIvAQ4BBhIGAS2HfAEBAgkIDbNbgWsEgnOBcYhcASMDASMDhRMBAQEBAQEBAQEBAQEBAQEBAQEBAQEQAQIEDAEBAYESiyaBI4FZO4JogUEBBJFUhTiGAB9Ygl6HKE+EEG+CQwEBAQ X-IPAS-Result: AoYAABFRnVRiilsjlGdsb2JhbABPDYIGgVJYDIJ5tCOPSIVvAoEDBxYBAQEBAREBAQEBBwsLCRIwhA0BBAELGAgVAQI3AQMLBgUaAg0ZAgIvAQ4BBhIGAS2HfAEBAgkIDbNbgWsEgnOBcYhcASMDASMDhRMBAQEBAQEBAQEBAQEBAQEBAQEBAQEQAQIEDAEBAYESiyaBI4FZO4JogUEBBJFUhTiGAB9Ygl6HKE+EEG+CQwEBAQ X-IronPort-AV: E=Sophos;i="5.07,647,1413237600"; d="scan'208";a="94748465" Received: from nm28-vm1.bullet.mail.ne1.yahoo.com ([98.138.91.35]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Dec 2014 13:16:45 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1419596202; bh=BdBVuQ4cH+VzcfSqTIJWCuZOHpt1lnBwTvP79xWgvgg=; h=Date:From:Reply-To:To:In-Reply-To:References:Subject:From:Subject; b=t60KfFX8TKnEc7o40zAGD172sGaqbJvZrYo+9zQ/r+R9MLYk3UTSdSN1PgI3LPZ0F1CPOoLLXeHF8tQHVBMFCRVet2t0fu4D8TQoUvejnbbJrudpIn7MDH1zSwi/WNPeC7DSLUGGdc7KPKggDuviwTEVSqnPac5jXtgpkODKhtiO1j2rmBfgSR5PuLQ/J8xaX1FGB6xgiJgQZi6/e3ZII2w4135OrLmGL/lG5L44+NOpZG8J6uNsPrXj9uWhw0scQBQ2UzjqpOw3g2VCM9moTdWYk06yafWhY6+pgZJNAWlDYSe1zx4I4QKcGrJkkSaQ819qQr3ZU7bG346aeHlLHw== DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s2048; d=yahoo.com; b=n5Kn7P5ENeogLT6NUmcU7eyRCG1OLJxrZiGXT8YokgT0XiqC4cOy76Lx41sfnU9PW5zmQlWQC+4XDnL2vWeotZfL5j9Cqdx8sa6kJCoIkqgZUtqSzOSudlSOX1EREvVZOKT0sJgF6zsNRUkvrqNH6Qb0yQ97Gehgu3CTT0j2XVHfgfM2uQUgogLx6OKspj2U6dg9jNcVxBD37VROQXslJ14p/iWrXJpv0V8DwfWz9LZW13YOT+Bd8G0jGS216Gd9Pd2tm/Q4HRweYTklqYJuzkaAX86Yd/Sr4A9UA3M91NHAOfNLE515NehdVaV4D0/P5f0c771xV2zd0HbcdAJS1Q==; Received: from [98.138.100.113] by nm28.bullet.mail.ne1.yahoo.com with NNFMP; 26 Dec 2014 12:16:42 -0000 Received: from [98.138.226.167] by tm104.bullet.mail.ne1.yahoo.com with NNFMP; 26 Dec 2014 12:16:42 -0000 Received: from [127.0.0.1] by omp1068.mail.ne1.yahoo.com with NNFMP; 26 Dec 2014 12:16:42 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 756964.38384.bm@omp1068.mail.ne1.yahoo.com X-YMail-OSG: Tg4_c1wVM1nzUxg3oDypMYTZtbK3IDxcfgNT4Se0iHqWljjvtYfqiYrjxK2DTDh L5TNBe59LlxySYTA9PdS7bGb0fah0HzSCDiqPS46QwVNnEbNiGaBPKcBCn.pZc.42Ypun.HX2Mz5 ZQzAbYSHJHMqisWP93aHlGP0m8H95V9ZuIFISnt7Tvw1HeXSkKZ9826_RN0nIXU4kYzXRvrtdnpD Ep4vAzFGRPdIWqh3a56mUP8amLvAkY16hIANNFRfz26sfJ8OPMFhQ6ndS17ASnp0dqLP0msoCf5K vY5Glz.t0EdwdEmzn9ngxe7NmoQ3Uh2ZCPVG1sQV8qYRHgnynrcfeIhw_8e7SjJsg_76WR8_DI4a G_Hmy0fzc5AymICLTK2l300SZfpGUf39mi1AUBCHwAUv036A7X9Ozxb2pKkqCKdSUkzGNX03.Oge epRuAlYHUw2ppfitq2d7qzcdTcjViwjIusIv9xplo1kI2S.EmBm1zJ8FbYyEEUPX4a1.YnqS9sED EG7363Q2lwsJoJhfNxzThDMm2Gz84AJbbn9jxDYxd65uJSPs6jy0aA3bdw1KBSWHJuUc29dXwd2M lyhIM_IA7HJVPuOOS2s6NgEZtRC_cT18aJhcNUgoA6Gve8pEvSJe_IY8lbhVFiUH.sjFlXcl96LD TxI4efn9fbkMV.u9yQVgM Received: by 98.138.105.222; Fri, 26 Dec 2014 12:16:42 +0000 Date: Fri, 26 Dec 2014 12:16:38 +0000 (UTC) From: Dario Teixeira Reply-To: Dario Teixeira To: =?UTF-8?Q?Fr=C3=A9d=C3=A9ric_Bour?= , "caml-list@inria.fr" Message-ID: <1428323068.875638.1419596198445.JavaMail.yahoo@jws10027.mail.ne1.yahoo.com> In-Reply-To: <549D4725.9030202@lakaban.net> References: <549D4725.9030202@lakaban.net> 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, > I tried various methods with Merlin, with good results. > That's quite close to what you suggest: we add an empty non-terminal and > change the behavior when it is on stack. > Something like: Yes, something like that should suffice for my needs. My current solution uses all manner of evil side-effects to achieve the same goal [1], which is why I'm eager for an alternative... Best regards, Dario Teixeira [1] https://github.com/darioteixeira/lambdoc/tree/master/src/lib/lambdoc_read_lambtex_impl