Requirements: Style checks

The requirements language should be extended to include some style constraints.

Two useful examples include:

- No lines longer than n characters
- All top-level declarations must have type signatures.
- There are no warnings. (Possibly with exceptions by regular expression match?)

L’issue ne nomme aucun fichier ni test. Commencez par localiser l’implémentation du langage de spécification des exigences et ses vérifications existantes, puis clarifiez comment les contraintes proposées concernant la longueur des lignes, les signatures de types et les avertissements doivent être exprimées et testées. La tâche est terminée lorsque les contraintes de style convenues sont prises en charge, y compris tout comportement d’exception documenté.

Rédigé par le modèle d'indexation à partir du texte de l'issue.