Anomaly in module typing
Fatal error: exception Failure("hd")
...
Called from file "src/mlw/pmodule.ml" (inlined), line 77, characters 16-44If it is not clear why the list can be empty, I will try to reduce my big example or I can provide it.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information