Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

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