Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Better error message when a functor is its own unsafe functor (details)
  2. Actually make example unsafe (see #14217) (details)
Commit 1ac6152ec7becb7a29ef69b9b42ff78effb19c3e by source
Better error message when a functor is its own unsafe functor
The file was modifiedlambda/translmod.ml (diff)
The file was modifiedtestsuite/tests/basic-modules/recursive_module_evaluation_errors.ml (diff)
Commit a69f472484d5aa771a791c741fd07167c40cbde7 by source
Actually make example unsafe (see #14217)
The file was modifiedtestsuite/tests/basic-modules/recursive_module_evaluation_errors.ml (diff)