From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dario.teixeira@nleyten.com>
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 224D77EE88
	for <caml-list@sympa.inria.fr>; Sun,  8 May 2016 16:19:26 +0200 (CEST)
IronPort-PHdr: 9a23:PiSZuxbfDpuMVxn61tIBqfT/LSx+4OfEezUN459isYplN5qZpcS9bnLW6fgltlLVR4KTs6sC0LqH9fm4EjNcqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7H0osWYPFkArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIZoGJ/3dKUgTLFeEC9ucyVsvJWq5lH/Sl6m4n8VVC0pnxVBBUCR5RX+V5HuvyTzsMJ03C2TO9L7QrkyHzivufRFUhjt3QsOLT8+uF3ai9x9jbhS6EatrgZ+xMjIbYCFOftkd4vbed4LWWdHGM1WUnoSUcuHc4ITAr9Zbq5jpI7nqg5L9EPmCA==
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dario.teixeira@nleyten.com; spf=None smtp.mailfrom=dario.teixeira@nleyten.com; spf=None smtp.helo=postmaster@relay3-d.mail.gandi.net
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  dario.teixeira@nleyten.com) identity=pra;
  client-ip=217.70.183.195;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="dario.teixeira@nleyten.com";
  x-sender="dario.teixeira@nleyten.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  dario.teixeira@nleyten.com) identity=mailfrom;
  client-ip=217.70.183.195;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="dario.teixeira@nleyten.com";
  x-sender="dario.teixeira@nleyten.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@relay3-d.mail.gandi.net) identity=helo;
  client-ip=217.70.183.195;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="dario.teixeira@nleyten.com";
  x-sender="postmaster@relay3-d.mail.gandi.net";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0DEAADbSS9Xj8O3RtlehRC5EoF2hhACgRs5EwEBAQEBAQEBEQEBAQEHCwsJIS+CLYIVAQEDATgCMQ4FCwQHRlcGG4gbDL4AAQEIAgEdhiCETIoYBZgigVWMQIFaAY1DjzkCIgGCVYFWiHR/AQEB
X-IPAS-Result: A0DEAADbSS9Xj8O3RtlehRC5EoF2hhACgRs5EwEBAQEBAQEBEQEBAQEHCwsJIS+CLYIVAQEDATgCMQ4FCwQHRlcGG4gbDL4AAQEIAgEdhiCETIoYBZgigVWMQIFaAY1DjzkCIgGCVYFWiHR/AQEB
X-IronPort-AV: E=Sophos;i="5.24,596,1454972400"; 
   d="scan'208";a="217294147"
Received: from relay3-d.mail.gandi.net ([217.70.183.195])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 08 May 2016 16:19:25 +0200
Received: from mfilter17-d.gandi.net (mfilter17-d.gandi.net [217.70.178.145])
	by relay3-d.mail.gandi.net (Postfix) with ESMTP id A8D56A80D1;
	Sun,  8 May 2016 16:19:25 +0200 (CEST)
X-Virus-Scanned: Debian amavisd-new at mfilter17-d.gandi.net
Received: from relay3-d.mail.gandi.net ([IPv6:::ffff:217.70.183.195])
	by mfilter17-d.gandi.net (mfilter17-d.gandi.net [::ffff:10.0.15.180]) (amavisd-new, port 10024)
	with ESMTP id cOREqQsYG8_A; Sun,  8 May 2016 16:19:24 +0200 (CEST)
X-Originating-IP: 10.58.1.141
Received: from webmail.gandi.net (webmail1-d.mgt.gandi.net [10.58.1.141])
	(Authenticated sender: dario.teixeira@nleyten.com)
	by relay3-d.mail.gandi.net (Postfix) with ESMTPA id 0EB07A80C7;
	Sun,  8 May 2016 16:19:22 +0200 (CEST)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII;
 format=flowed
Content-Transfer-Encoding: 7bit
Date: Sun, 08 May 2016 15:19:22 +0100
From: Dario Teixeira <dario.teixeira@nleyten.com>
To: Allan Wegan <allanwegan@allanwegan.de>
Cc: caml-list@inria.fr
In-Reply-To: <572F40BA.1010606@allanwegan.de>
References: <0a49598f1e0c8838fa69cd4d803af83d@nleyten.com>
 <572F40BA.1010606@allanwegan.de>
Message-ID: <7764cc4cbfcb7c2d955eb1bbc2bfe070@nleyten.com>
X-Sender: dario.teixeira@nleyten.com
User-Agent: Roundcube Webmail/1.1.2
Subject: Re: [Caml-list] Menhir grammar with sequences delimited by same
 token

Hi,

> 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.

Any Chomsky hierarchy experts in the audience?... ;-)

Best regards,
Dario Teixeira