A.2. Pureté et discipline de la couche 3🔗

Tableau 23 :

Codes protégeant la pureté et la totalité de la couche 3

Code	Déclencheur et correction
`ERR-PUR-001`	Opération à effet à l'intérieur d'un bloc `pure` ou d'un bloc `[ ]` de couche 3.
`ERR-EFF-001`	Effet algébrique sans gestionnaire associé. Définir un gestionnaire ou retirer le `perform`.
`ERR-LOG-001`	Conditionnelle impérative détectée. Utiliser `match`, `cond` ou `select`.
`ERR-TOP-010`	Fonction impure, suffixée `!`, appelée à l'intérieur d'un bloc pur de couche 3.
`ERR-TYP-009`	Fonction suffixée `?` contenant un effet algébrique non géré.