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 E2EEA7EE88 for ; Sun, 8 May 2016 15:35:58 +0200 (CEST) IronPort-PHdr: 9a23:Knz2HByNFLVmpobXCy+O+j09IxM/srCxBDY+r6Qd0e4WIJqq85mqBkHD//Il1AaPBtWKrascwLSM+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuSt+U1pz8ibr60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mosVJVKG/e6UjUZRZCi4nOiY7/p7Frx7GGCKL4nIaGlobnRNOS1zM6BXzWIj8vSL8nuN53CCcIsD5RLZyVTn0vPQjcwPhlCpSb21xy2rQkMEl1K8= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=allanwegan@allanwegan.de; spf=None smtp.mailfrom=allanwegan@allanwegan.de; spf=None smtp.helo=postmaster@vserver22.colo-server.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of allanwegan@allanwegan.de) identity=pra; client-ip=185.82.85.124; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="allanwegan@allanwegan.de"; x-sender="allanwegan@allanwegan.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of allanwegan@allanwegan.de) identity=mailfrom; client-ip=185.82.85.124; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="allanwegan@allanwegan.de"; x-sender="allanwegan@allanwegan.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@vserver22.colo-server.net) identity=helo; client-ip=185.82.85.124; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="allanwegan@allanwegan.de"; x-sender="postmaster@vserver22.colo-server.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CUAgBpPy9XXXxVUrlehA1JNLkKDoF2HoVyAoFTFAEBAQEBAQEBBRltgi2CFQEBAwEjVQYLCyEWCwICCQMCAQIBMRQTBgIBAYgfDK1zkAoiCIUoeIRMhQuCNIJZBZgigyiBaJJLhViPOx4BhDBsiDkBAQE X-IPAS-Result: A0CUAgBpPy9XXXxVUrlehA1JNLkKDoF2HoVyAoFTFAEBAQEBAQEBBRltgi2CFQEBAwEjVQYLCyEWCwICCQMCAQIBMRQTBgIBAYgfDK1zkAoiCIUoeIRMhQuCNIJZBZgigyiBaJJLhViPOx4BhDBsiDkBAQE X-IronPort-AV: E=Sophos;i="5.24,595,1454972400"; d="asc'?scan'208";a="217291897" Received: from mx1.iboxed.net (HELO vserver22.colo-server.net) ([185.82.85.124]) by mail2-smtp-roc.national.inria.fr with ESMTP; 08 May 2016 15:35:57 +0200 Received: from [10.16.21.17] (unknown [31.204.150.153]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by vserver22.colo-server.net (Postfix) with ESMTPSA id 125E154452B for ; Sun, 8 May 2016 15:35:56 +0200 (CEST) To: caml-list@inria.fr References: <0a49598f1e0c8838fa69cd4d803af83d@nleyten.com> From: Allan Wegan Openpgp: id=FBCE6B51371AC71E5533B8CEC3B7955C88CB542E X-Enigmail-Draft-Status: N1110 Message-ID: <572F40BA.1010606@allanwegan.de> Date: Sun, 8 May 2016 15:35:54 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.7.0 MIME-Version: 1.0 In-Reply-To: <0a49598f1e0c8838fa69cd4d803af83d@nleyten.com> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="CaHFWl8iEe7NksStlbXwATSk98hx7wQJH" Subject: Re: [Caml-list] Menhir grammar with sequences delimited by same token This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --CaHFWl8iEe7NksStlbXwATSk98hx7wQJH Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable > Which of course has a shift/reduce conflict: if the token stream is > [BOLD; TEXT; BOLD; ...], what should the parser do upon encountering > the second BOLD -- start a new nesting level, or close the current > one? I am only a beginner at formal language theory - so might have missed important details. But it seems to me that you may be trying to parse a context-sensitive language with a parser for context-free languages. Changing the parser may help. --=20 Allan Wegan Jabber: allanwegan@ffnord.net OTR-Fingerprint: E4DCAA40 4859428E B3912896 F2498604 8CAA126F Jabber: allanwegan@jabber.ccc.de OTR-Fingerprint: A1AAA1B9 C067F988 4A424D33 98343469 29164587 ICQ: 209459114 OTR-Fingerprint: 71DE5B5E 67D6D758 A93BF1CE 7DA06625 205AC6EC --CaHFWl8iEe7NksStlbXwATSk98hx7wQJH Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJXL0C6AAoJEMO3lVyIy1QuizUP/R+vHK0JvtlZVLgw8Ohk9xP0 OjqzW5FbF97lb1jCu7ol2sduzTE9TtKiQLYMo5cLr2iOOrRX96Wb/CuoB1yuLtAE dnaokb4WDoQEOO9uI7NK+ykYBnrILOY2ViKbWkzdwktfdf+26e+8RBuPQRkcG1Yv vZft+X9bm1A5HoqrS/cKqqO1GSkkwIH7wRoEr5PRcA4GTLhTshtEdeZC6nNaLjGX o6ONNQJ5NnF14pfQ+bFjy2IzNiTyLZrSJ5+IpAmj7jh7JM0IgjKf1dg0cRGVSMAO +2qqF44Bf9BDv5DEhsCkrG3wUU2blA4UzksRo9fTN/LNNMt0nf/i36epAGAqky/K lQpycUth2Q5idp604wX3P2OqM5Ca3Z5qwFQdFPpDiZnEqyV60obTHPq0MgFTvnUO VWadRPAkxwC1xtWer/8ASj78WrPW3/eRgGviWG6LdfnysqZPPzS4Cyc73FB3BjMS iYFGo+N3nao76bfdEnxMiMCyNrix0+sQl7OZ5BGvDJ85QzTbiM1sN59FJu/qn0TQ tbdsb2JOwf4UB8JnooZ2HsSiSfj63vZqFCqdPoQvR9aABWHF8KZE32ImLqrrKTmv LjaAtmuuk1ufKoN6RnHXBc8wXdmEIGag78BkjIoNRZ3zqR7ytvOwBhY+8DmCEWbg UVCZk03iEoaxu0D3UuL6 =X+Ga -----END PGP SIGNATURE----- --CaHFWl8iEe7NksStlbXwATSk98hx7wQJH--