Query salsa: vérifications post-parsing
C'est très fastidieux et peut être mieux que je m'en occupe, mais il faudrait une query salsa qui vérifie le tout l'AST. Plein de petites erreurs ne sont pas gérées, notamment le fait que sur beaucoup d'éléments en répétition Lustre en requiert minimum 1, mais que notre parseur accepte qu'il n'y en ai pas. Cette query ne serait une dépendance que d'une compilation finale, ou d'une recherche spécifique de diagnostics par un LSP.
Vérifs à faire (non exhaustif, mis à jour quand j'y pense)
- Interdire
-
Equations récursives (hors pre
) -
Consts récursifs -
Si un fichier contient un package, il ne doit rien contenir d'autre (à part des include) -
Les fonctions/nœuds à 0 arguments (!26 (merged))
-
- Obliger
-
Unicité des noms de variable / nœud / const / etc. -
Ordre des items top-level dans l'ordre imposé par la syntaxe Lustre
-
Edited by Edgar Onghena