From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA30045 for caml-redistribution; Fri, 3 Dec 1999 13:59:34 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA05282 for ; Thu, 2 Dec 1999 15:55:54 +0100 (MET) Received: from orion.inrets.fr (orion.inrets.fr [137.121.1.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id PAA24499 for ; Thu, 2 Dec 1999 15:55:50 +0100 (MET) Received: from deneb.inrets.fr by orion.inrets.fr (8.9.3/8.7.1); Thu, 2 Dec 1999 15:55:47 +0100 (MET) Received: from terre.inrets.fr by deneb.inrets.fr (8.7.6/8.7.6); Thu, 2 Dec 1999 15:55:48 +0100 (MET) Received: from inrets.fr (mariano@matrix [137.121.81.19]) by terre.inrets.fr (8.9.3/8.8.8) with ESMTP id PAA23205 for ; Thu, 2 Dec 1999 15:55:45 +0100 (MET) Sender: weis Message-ID: <38467330.86DA3330@inrets.fr> Date: Thu, 02 Dec 1999 13:25:04 +0000 From: Georges Mariano Organization: INRETS-ESTAS X-Mailer: Mozilla 4.61 [en] (X11; I; Linux 2.0.36 i686) X-Accept-Language: fr-FR, en MIME-Version: 1.0 To: "caml-list@inria.fr" Subject: "nested" parsers Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Hello everyone, We have developed a parser for a language L using ocamllex and ocamlyacc , thus we have a L.mly It appears that we can divide the language L in a few "sub"-languages. Let's say that L3 <: L2 <: L1 = L ('<:' included in ) And we would like to have one entry point for each language in our parser. a) is it possible (i.e with ocamlyacc) ? (with one .mly, with several ??) b) how to do that ? (it's not very clear for us ;-) (pointers to specifica documentation or examples are welcome...) Thanks for any help -- > Georges MARIANO tel: (33) 03 20 43 84 06 > INRETS, fax: (33) 03 20 43 83 59 > Institut National de Recherches sur les Transport et leur Sécurité > 20 rue Elisee Reclus > 59650 Villeneuve d'Ascq mailto:mariano@terre.inrets.fr > FRANCE. > B.U.G http://www3.inrets.fr/BUGhome.html mailto:bug@estas1.inrets.fr