Debut
def

Bon, j'ai pas mal modifié et complété le fichier def, notamment, j'ai
pas mal enlevé de trucs (ou simplifié), parce que je pensais que ça
serais pas forcément pratique ou utile.
J'ai mis aussi beaucoup de commentaire pour expliquer pourquoi je
faisais ces modifications, il faudra les enlever lorsqu'on aura fini de
se mettre d'accord (c'est illisible sinon)
je te laisse regarder, dis moi ce que t'en pense
Début du lexer
Un peu complété
debut typeur

Y'a une fonction qui renvoie le type d'une expression. Il faudra peut
être la modifier pour renvoyer un arbre étiqueté par les types à chaque
noeud (peut être utile pour l'écriture du code mips,  pour prévoire la
place nécessaire à un résultat intermédiaire, ou ce genre de choses)
(j'ai aussi modifié le nom du fichier, pour que ce soit plus clair)
j'ai fait qu'un seul test très simple pour le moment, parce que c'est un
peu long d'écrire l'arbre à la main, mais ça à l'air de marcher
modif typeur

Bon, j'ai modifié l'arbre de sytaxe abstraite, y'a maintenant un champ
data  qui correspond au type de l'expression, quand le parser va générer
l'arbre de syntaxe abstraite, il faudra qu'il initialise ce champ (avec
nimporte quoi, ça a pas d'importance). J'ai pas pu faire deux types
distincts pour l'abre de syntaxe abstraite, et l'arbre décoré, parce que
sinon, y'a des conflits de notations entre les deux types, il faudrait
soit préciser le module à chaque fois, soit paramétrer le type par le
type des données que l'on veut mettre dans l'arbre. Dans les deux cas
c'est un peu chiant. (mais si il faut vraiment le faire, c'est la
deuxième solution la meilleure)
voila, la fonction de typage fonctionne sur les expressions pour le
moment, et modifie le champ dans l'arbre en place.
Faut encore typer les instructions, et après les déclarations. A venir
Faudra aussi faire des tests quand je serais motivé pour écrire des
arbres à la main
oubli
rechangement définition

Bon, j'ai rechangé l'arbre de syntaxe abstraite, enfin, j'ai plustôt
redéfini un type d'arbre pour le typage.
La seule modification dans l'arbre de syntaxe abstraite par rapport à sa
version orginale est l'ajout de l'expression Char of char, je pense
qu'il le faudra, puisque on accepte les caractères comme constantes

Pour l'arbre de typage, y'a pas mal de modif:
.suppression des for
.définition d'un type mtype où les identificateurs de structures sont
remplacés par des enregistrements qui contiennent diverses informations
qui pourront être utiles à la fois pour le typage et pour la production
de code après (et même chose pour les variables)
et ajout d'un truc pour distinguer les variables locales et globales.
Et c'est à peu près tout
à cause des InterENS, je pourrais pas bosser ce week end. il faut encore
que je remodifie ma fonction de typage des expressions, c'est en cours,
et ce sera pas fini ce soir.
Mise à jour du lexer
Mise à jour.
Ast mis à part
Début de parser (qui parse n'importe quoi pour l'instant)
Makefile et main pris du td3 et adaptés pour tester
Mise à jour.
Ast mis à part
Début de parser (qui parse n'importe quoi pour l'instant)
Makefile et main pris du td3 et adaptés pour tester
Merge branch 'master' of https://github.com/axeldavy/projetCo
Merge branch 'master' of https://github.com/axeldavy/projetCo