-
POTTIER Francois authored
Generate type annotations using [subst_core_type] instead. This seems preferable since [subst_core_type] is needed anyway to perform substitutions in the types of record/tuple/datacon components.
b0644d7e
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
Generate type annotations using [subst_core_type] instead. This seems preferable since [subst_core_type] is needed anyway to perform substitutions in the types of record/tuple/datacon components.