First commit
Adaptation au nouvel AST compilateur version 4.01
tentative génération du Let
On génère un première valeur de type expre
Première génération d'un AST, malgré une bidouille pour respecter le typage trop strict des expression sauce GADT
Repérages pour Texp_ident
Génération correcte des fonctions funtst2 et funtst3 sans typage
Je commence à comprendre la répartition des arguments dans les principaux éléments de l'AST
Je commence à comprendre la répartition des arguments dans les principaux éléments de l'AST
Le boruillard se désepessie
Reste encore qu'un cas à gérer sur les 5 exemples qui marchent presque : détecter que ^ est un opérateur
Fonctionnel sur les exemples 1 à 6 sauf 2
Déclaration d'un type somme style expre avec Plus, Moins, Int ok
Déclaration d'un type somme style expre avec Plus, Moins, Int première génération de déclaration de type. Encore des erreurs
Déclaration d'un type somme style expre avec Plus, Moins, Int première génération de déclaration de type. OK
Déclaration d'un type somme style expre avec Plus, Moins, Int première génération de déclaration de type. Assainissement
On commence à gérer la transformation d'informations de typage simple
On type le Let, mais on ne type pas la fonction. On pourra le faire ensuite par copie de typage en retraitant l'AST
Construction d'un type somme simple OK
Déclaration type enregistrement simple OK