Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. improved version of #14229 (details)
  2. fix done; add tests (details)
  3. fix comment (details)
  4. extract instance_unshared and update comments (details)
Commit c6570cd75aeecf91a777834cc0e7f4bc76b04060 by tscompor
improved version of #14229
The file was modifiedtyping/typecore.ml (diff)
The file was addedtestsuite/tests/typing-gadts/existential_as_pattern.ml
The file was modifiedChanges (diff)
The file was modifiedtestsuite/tests/typing-gadts/existential_as_pattern.ml (diff)
The file was modifiedtyping/typecore.ml (diff)
The file was modifiedtyping/typecore.ml (diff)
The file was modifiedChanges (diff)
Commit f50150a9cea37c4eafcf170d9a3e73238c06fdd5 by tscompor
extract instance_unshared and update comments
The file was modifiedtyping/typecore.ml (diff)