-
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
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.