Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Avoid rechecking functor applications (commit: 3b42d0a) (details)
  2. Add Changes entry (commit: fdc21de) (details)
Commit 3b42d0ac8ecec74e7ae4a1e3a61ae82b5c39b969 by leo
Avoid rechecking functor applications

Take advantage of the existing functor application cache to avoid
repeating checks that a functor application is valid.
 (commit: 3b42d0a)
The file was modifiedtyping/env.ml (diff)
The file was modifiedChanges (diff)