Discussion :

[marv1]

salut a tous

j'ai un projet a faire : parser un fichier en entree avec ocamllex et ocamlyacc pour effectuer un calcul (en fait le fichier contient une regle principale et des regles de transformations => il faut transformer l'expression de depart )

je veux en parsant le fichier en entree remplir une structure que je reutiliserais ensuite

pour la structure, en utlisant une declaration de type somme je peux dans mon parser utiliser le constructeur du type
ex dans mon parser.mly:

SEED COMMA AXIOME {Axiome $3}

je rempli bien le champ Axiome

cependant avec un type somme je n'arrive pas a le reutiliser par la suite de mon programme pour acceder a un champ comme avec un enregistrement
(on ne peut pas faire struct.axiome par exemple :/)

comment faire avec un enregistement pour remplir un champ particulier de l'enregistrement dans un parser ??


merci

[marv1]

personne ne connait ocaml et les enregistrements (structures) ???

[Crapouille]

Ca fait longtemps que je n'ai plus fait de Caml ... enfin !! Je connais un tres bon cours de parsage. Il donne ses exemples en Caml.

Tu peux toujours zieuter sur :
http://pauillac.inria.fr/~remy/poly/compil/

et meme recuperer son cours en ps :
http://pauillac.inria.fr/~maranget/X/compil/poly/

Si ca peux t'aider tant mieux.

[marv1]

thx je vais regarder ca

[marv1]

bon si ca peut aider des gens donc, utiliser l'enregistrement ocaml :

Code :

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

1
2
3
4
5
6
type t = 
	{
		ax :  string;
		reg : string list;
		nb : string;
	}

et dans le parser .mly :

Code :

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

seed rules iterations { {Type.ax = $1; Type.reg = $2; Type.nb = $3} }