Anomaly in module typing
Fatal error: exception Failure("hd")
...
Called from file "src/mlw/pmodule.ml" (inlined), line 77, characters 16-44
If it is not clear why the list can be empty, I will try to reduce my big example or I can provide it.
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
Fatal error: exception Failure("hd")
...
Called from file "src/mlw/pmodule.ml" (inlined), line 77, characters 16-44
If it is not clear why the list can be empty, I will try to reduce my big example or I can provide it.