[Transformers] Vérification des types pour c-grammar.

Bonjour, Je mail ici ce dont je n'ai pas eu le temps de parler à la réunion ce matin pour manque de temps. Après l'effort commun fournit sur c-grammar, je me posais la question suivante: Ne serait-il pas préférable de commencer par le typechecking sur la grammaire du C plutot que sur celle du C++ ? La grammaire du C fonctionne déjà avec les grammaires attribuées, ce qui est la voie qui doit être empruntée ! Ensuite la grammaire étant moins ambigue, ce sera plus simple pour expérimenter avant de s'attaquer au gros tank pour le C++. Mais la vraie question est : implémenter la vérification des types sur la grammaire du C a t'elle un sens ? est ce necessaire ? est ce juste un luxe inutile ? Perso, je pense que ça ne peut être que bénéfique pour une première expérimentation du "mariage" parsing/désambiguisation et une nouveauté en plus pour la 0.2. Any suggestion ? ;-)