A.3. Terminaison et productivité🔗

Tableau 24 :

Codes émis lorsqu'un critère de terminaison ou de productivité n'est pas établi

Code	Déclencheur et correction
`ERR-TER-001`	Récursion générale détectée en couche 3. Utiliser un pli ou le mot-clé `terminates`.
`ERR-IND-001`	Chemin d'exécution d'un flux `@:stream` bouclant indéfiniment sans émettre.
`ERR-IND-003`	Prédicat tacite d'un `stream-subscribe` risquant de rejeter indéfiniment tous les éléments.
`ERR-CMP-001`	Constructeur non linéaire dans un contexte annoté `@linear`.
`ERR-CMP-004`	Dépassement du budget temporel alloué à l'évaluation `comptime`.
`ERR-STK-001`	Un train tacite consomme plus d'arguments que disponible, ou en laisse orphelins.
`ERR-STK-003`	Une semicoroutine dépasse la taille de pile préallouée.
`ERR-MEM-009`	Un consommateur abandonne un `StreamContext` avant épuisement.