-
Andrei Paskevich authored
Not done for low-level TypeMismatch exception in Ity. However, this should not be an issue, since the majority of type errors happen in Dexpr and will be reported with qualified names.
dc0b56b0
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
Not done for low-level TypeMismatch exception in Ity. However, this should not be an issue, since the majority of type errors happen in Dexpr and will be reported with qualified names.