Discussion :

[neumann]

Bonsoir,

Je suis actuellement en train de me frotter au lexing/parsing en Ocaml à l'aide de Ocamllex et Ocamlyacc. Mon but est de faire l'analyse syntaxique d'une expression et de produire un arbre binaire.

Voici le type définit dans le programme principal :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
type  arbre =
  Feuille of string
| Branche of  arbre * string * arbre;;

Et voici un morceau de la définition de mon parseur :

[...]

%start main /* the entry point */
%type <arbre> main
%%

main:
expr EOL { $1 }
;

expr:
STR { Feuille $1 }
| LPAREN expr RPAREN { $2 }
| expr IMPLI expr { Branche $1 "IMPLI" $3 }
| expr ET expr { Branche $1 "ET" $3 }

[...]

Mon but est donc de construire un arbre représentant l'expression, au fur-et-à-mesure que celle-ci est parsée. Quand je compile, j'ai cette erreur :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
File "parser.mli", line 13, characters 48-53:
Error: Unbound type constructor arbre

Il semble chercher un constructeur de mon type 'arbre' pour initialiser l'arbre produit par le parseur. Je ne sais pas comment définit un tel constructeur, et ne sait même pas si ce que j'essaye de faire est possible ou non.

Si quelqu'un est en mesure de m'aider, qu'il n'hésite surtout pas

[gasche]

C'est une erreur assez classique. Le problème vient du fait que ton type arbre est défini en dehors du lexer, dans un fichier par exemple "truc.ml". Il faut que tu indiques que c'est le type arbre _du module Truc_ :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
[...]
 
%start main /* the entry point */
%type <Truc.arbre> main
%%
 
main:
expr EOL { $1 }
;
 
expr:
STR { Truc.Feuille $1 }
| LPAREN expr RPAREN { $2 }
| expr IMPLI expr { Truc.Branche ($1, "IMPLI", $3) }
| expr ET expr { Truc.Branche ($1, "ET", $3) }
 
[...]

[neumann]

Merci pour l'astuce, mais ce ne marche toujours pas

J'ai un fichier calc.ml qui contient la définition de mon type arbre. J'ai donc modifié mon parser.mly :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
 %start main             /* the entry point */
        %type <Calc.arbre> main
        %%

  	main:
		expr EOL		{ $1 }
        ;

        expr:
		STR				{ Calc.Feuille $1 }
	|	LPAREN expr RPAREN		{ $2 }
	|	expr IMPLI expr			{ Calc.Branche $1 "IMPLI" $3 }

J'obtiens la même erreur :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

Error: Unbound type constructor Calc.arbre

EDIT: Je n'ai pas oublié l'ajout suivant en en-tête de parser.mly:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
	%{
		open Calc
	%}

EDIT: J'avais par contre oublié de modifier mon makefile... problème résolu