on doit programmer un interprète, on peut déclarer des formules façons lambda calcul ou façon fonction.
Mais au niveau de l'arbre syntaxique, il faut que ce soit identique  
 
c chiant paske là je travaille parallèle sur 2 fichiers à la base de tout :
 
. abbsynt.mli où sont déclarés les types utilisés dans l'arbre syntaxique
. parser.mly où sont déclarées les actions sémantiques en fonction des règles de grammaire.
 
dans abbsynt.mli j'ai :

 
 
dans parser.mly je veux pouvoir utiliser une variable que j'ai appelé "function_body__00" :

 
mais il accepte pas ma déclaration où que je la mette  

oui mais là g absolument besoin de le faire  

tu as absolument besoin de declarer une variable non typee ?  
 
 

je crois que j'ai trouvé une manière de contourner le problème
 
j'ai augmenté le type Expression avec NoExpression
 
et je déclare ma variable ainsi :
 

 
j'en ai fait une référence sinon elle ne changeais pas de valeur

elle ne change toujours pas de valeur  

ben ref oui, sinon tu definis une constante
 
mais je peux pas trop aider vu que je sais pas exactement ce que tu dois faire ...    
 
m'enfin si t'as d'autres problemes, n'hesite po ! et poste tes mli    
 
bon courage    

même en ref elle veut pas changer
je craque      

bouge pas, je jette un coup de neuille

tu veux le source complet ?

plusieurs questions d'abord :  
 
NoExpression, c'est une valeur, pas un type ?
 
pour modifier la valeur de ta variable, tu utilises bien ":=" pas juste "=" ?
 
let n = ref 5;;
-> une variable entiere initialisee a 5
 
n := !n * !n;;
-> je mets sa valeur a n*n
 
si la reponse a ces deux questions est OUI, alors le source va peut etre m'aider un peu plus
 
chouette, ca me manquait le Caml, ca fait bien quelques mois que j'en n'ai pas trop fait

 
dans abbsynt.mli :
 

 
tous les autres types sont corrects, testés et OK.
 
 

oui, j'ai la doc pour vérifier ce genre de détails  
 

 
donc je vais te la passer en MP
 

 
C'est pas du Caml mais de l'Objective Caml v3.06    
mais c gentil de m'aider

 
vi vi, mais caml splu drole a dire que ocaml
 
tombe bien, c la 3.06 que j'ai aussi  

ça y est mon parser fait ce que je veux  
 
Souk merci de ton aide  
 
Prochain épisode :
je m'attaque au problème suivant la vérification de type

t'inquiète pour ce problème, la première étape consiste à comprendre un chapitre du livre "Term rewriting and all that" de Nipkow
Je pleure pas encore

oh mais je m'inquiete pas, mais c'etait un tel plaisir de refair du caml

ça y est le parser marche nickel
( même si le prof a rajouté des contrainte une semaine après qu'on l'aient fini, donc on a dû le refaire    )

ya    et **CENSURE**  

comment j'ai jamais fait de caml...
 
 
et a la vue de ce tomik, je crois que c pas demain la veille   ²

le Caml c bien j'adore sauf quand je pète les plombs
 
quand les exemples sont expliqués, ça coule de source, ce qui n'est pas le cas de camllex et camlyacc des modules de Ocaml dont les exemples sont pourris .

les projets c nul

 
non, sbien camllex et camlyacc, j'ai decouvert quand t'avais ton pb, j'aime bien  
 
 

mais la résolution de certains pb tq l'associativité est alambiquée

L'associativite ? comme dans a + (b + c) = (a + b) + c ?

dans le cas présent il d'agit d'expression de lambda calcul, c + chiant parce que les expressions sont associatives à droite : f g h = (f g) h
mais les abstractions le sont à gauche, exemple :
 
\x. f g = \x. (f g) mais c pas du tout (\x. f) g
 
donc il nous faut filtrer ça et c space la méthode qu'à trouver mon binôme