Missing interface files for errors.ml files
Files src/scripting/errors.ml, src/acg-data/errors.ml, and src/grammars/errors.ml are missing their (documented !:-)interface files.
Documentation of src/utils/error.mli would be welcome too.
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
Files src/scripting/errors.ml, src/acg-data/errors.ml, and src/grammars/errors.ml are missing their (documented !:-)interface files.
Documentation of src/utils/error.mli would be welcome too.