Signalement des fonctionnalités différées

Un code Erlang légal qui requiert une fonctionnalité non implémentée échoue avec un unique message explicite, distinct des erreurs ordinaires d'entrée invalide. Le repli générique pris en charge (par exemple une spécialisation sautée) est silencieux et n'est pas un échec.

[pattern matching] notimpl: src/example.erl:12:5 [module="example"] [target="native"] [operation="match argument"]

Catalogue

features.hpp attribue des identifiants stables, jamais réutilisés, et des noms de diagnostic, avec un responsable et un état par entrée. Retirer ou affiner une entrée quand sa fonctionnalité arrive ; garder son identifiant réservé.

Responsable	Où il signale
Analyse sémantique du compilateur	Vérifications de capacité sur toutes les fonctions, y compris le code inutilisé
Abaissement (lowering) du compilateur	Rejet défensif aux opérations atteintes ; supprime les artefacts préparés
Pilote	Rien de différé : `executable linking` est implémenté (édition de liens)
Services du runtime	Voir services différés du runtime

Fonctionnalités différées du compilateur aujourd'hui, chacune couverte par codegen_placeholders :

Fonctionnalité	Exemple qui la signale
`heap expressions`	Affectations dans les comprehensions `compr_assign` (`[Y \|\| X <- L, Y = X]`)
`dynamic calls`	Une fun builtin de `apply` (`fun erlang:apply/2`)
`behavior-changing attributes`	`-on_load`, `-nifs`, options `-compile` non inertes, modules paramétrés (sous-ensemble accepté)

Règles des messages

Le formateur partagé omet le contexte inconnu, échappe les octets de contrôle en \xHH et échappe les guillemets et les barres obliques inverses afin que le contexte ne puisse pas injecter de lignes. UTF-8 est conservé.
Exactement un message par opération en échec, indépendamment de --verbose.
Une fonctionnalité différée que le compilateur pourrait ignorer sans changer ce qu'il accepte serait signalée par un avertissement et la compilation continuerait ; aucune ne l'est aujourd'hui. codegen_placeholders vérifie un message par fonctionnalité différée du compilateur.
Compilateur : reject_feature signale le premier échec d'un lot, mémorise l'échec, abandonne la sortie préparée et marque le diagnostic comme reported afin que les pilotes ne l'affichent pas de nouveau.
Runtime : FeatureFailure signale une seule fois par opération via un récepteur emprunté (null → stderr). Les appels suivants renvoient l'état mémorisé. Les échecs du récepteur ou du formatage deviennent diagnostic_failure ; les exceptions sont contenues.
Les appelants propagent l'échec sans le signaler de nouveau ; un hôte doit se terminer avec un code non nul et se démonter normalement.