Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Add regression tests (commit: 0806049) (details)
  2. Fix incorrect copy_scopes in Subst (commit: 8190209) (details)
  3. Add Changes entry (commit: a15b97b) (details)
The file was addedtestsuite/tests/typing-modules/pr9384.ml
Commit 81902098b6a8b4f5c1775a837ecef85873e88f77 by leo
Fix incorrect copy_scopes in Subst
 (commit: 8190209)
The file was modifiedtyping/subst.ml (diff)
The file was modifiedtestsuite/tests/typing-modules/pr9384.ml (diff)
The file was modifiedChanges (diff)