From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA13983 for caml-redistribution; Wed, 4 Jun 1997 09:16:49 +0200 (MET DST)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id IAA13701 for <caml-list@pauillac.inria.fr>; Wed, 4 Jun 1997 08:58:27 +0200 (MET DST)
Received: from relay2.eunet.fr (relay2.eunet.fr [192.134.192.149]) by concorde.inria.fr (8.8.5/8.7.3) with SMTP id IAA26237 for <caml-list@pauillac.inria.fr>; Wed, 4 Jun 1997 08:58:26 +0200 (MET DST)
Received: from dassav (dassav.dassault-aviation.fr) by relay2.eunet.fr (5.65c8d/96.05.03)
	via EUnet-France id AA18398; Wed, 4 Jun 1997 08:58:18 +0200 (MET)
Received: from fnet-ia1.dassault-aviation.fr by dassav (5.x/SMI-SVR4)
	id AA04755; Wed, 4 Jun 1997 08:56:22 +0200
Received: from fnet-ia1 (localhost) by fnet-ia1.dassault-aviation.fr (5.x/SMI-SVR4)
	id AA21903; Wed, 4 Jun 1997 09:05:16 +0200
Message-Id: <339513AC.4B89@dassault-aviation.fr>
Date: Wed, 04 Jun 1997 09:05:16 +0200
From: Thierry Bravier <bravier@dassault-aviation.fr>
Organization: Dassault Aviation DGT/DTN/ELO/EAV
X-Mailer: Mozilla 2.01 (X11; I; SunOS 5.4 sun4c)
Mime-Version: 1.0
To: caml-list@pauillac.inria.fr
Subject: re-entrance of ocamlyacc parsers
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Sender: weis

Sorry, this mail was first sent to caml-light@pauillac.inria.fr

========================================================================
English version:

Dear ocamlers,

I am currently writing an ocamlyacc/lex parser for a tiny language.

I would like to be able to call the ocamlyacc-generated code
recursively from an ocamlyacc semantic action.

This would be helpful, for instance, in the case of an
external module interface import clause as in :

phrase:
| ...
| IMPORT IDENT SEMI
   { Import (compile_file $2) }

Let us call `yacc_start' and `lex_start' the functions created
by ocamlyacc and ocamllex.

1) I wonder how I can define a function `compile_file'
   that ends up calling `yacc_start' recursively.

   Maybe generating a function `yacc_start' defined with
   `let rec' instead of `let' would do (as with ocamllex).

   I could then write :
prase:
| ...
| IMPORT IDENT SEMI
   { Import (compile_file_with_parser yacc_start $2) }

   am I mistaken ?

2) Anyway, I noticed that the ocamlyacc-generated code
   (see stdlib/parsing.ml) uses a global value `env' (which can
   be emptied with `clear_parser ()').

   Does this forbid `yacc_start' re-entrance ?

   I mean, will the inner call to `yacc_start' corrupt `env' value
   for the outer call to work properly ?

   Or can I just see `env' as an implementation issue not to
   be considered by module `Parsing' users ?

Thank you.
Any help is welcome.

========================================================================
Version francaise :

Chers adeptes d'ocaml,

Je realise actuellement le compilateur d'un petit langage en
ocamlyacc/lex.

J'aimerais pouvoir appeler recursivement le code cree par ocamlyacc
depuis une action semantique.

Cela me serait utile, par exemple dans le cas d'une directive
d'importation d'un module externe comme dans :

phrase:
| ...
| IMPORT IDENT SEMI
   { Import (compile_file $2) }

Si l'on appelle `yacc_start' et `lex_start' les fonctions fournies par
by ocamlyacc et ocamllex ...

1) Je me demande comment ecrire la fonction `compile_file'
   qui finalement appelle `yacc_start' recursivement.

   Peut-etre peut-on y parvenir en modifiant ocamlyacc
   pour definir la fonction `yacc_start' avec `let rec'
   au lieu de `let' (comme le fait deja ocamllex).

   Je pourrais alors ecrire :
prase:
| ...
| IMPORT IDENT SEMI
   { Import (compile_file_with_parser yacc_start $2) }

   Ou fais-je fausse route ?

2) Quoiqu'il en soit, j'ai remarque que le code cree par ocamlyacc
   (Cf stdlib/parsing.ml) utilise une valeur globale `env' (qui
   peut etre videe par `clear_parser ()').

   Cela exclut-il toute re-entrance de `yacc_start' ?

   En somme, l'appel interieur de `yacc_start' va-t-il
   rendre la valeur de `env' inutilisable, apres son retour, dans
   l'appel exterieur ?

   Ou peut-on supposer que `env' n'est qu'un detail cache de realisation
   qui doit etre ignore des utilisateurs du module `Parsing' ?

Merci.
Toute aide est la bienvenue.


-- 
Thierry Bravier                Dassault Aviation - DGT / DTN / ELO / EAV
78, Quai Marcel Dassault              F-92214 Saint-Cloud Cedex - France
Telephone : (33) 01 47 11 53 07          Telecopie : (33) 01 47 11 52 83
E-Mail :                     mailto:thierry.bravier@dassault-aviation.fr