Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. improved version of #14229 (commit: c6570cd) (details)
  2. fix done; add tests (commit: fd1bf74) (details)
  3. fix comment (commit: f12acda) (details)
  4. extract instance_unshared and update comments (commit: f50150a) (details)
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 modifiedtyping/typecore.ml (diff)
The file was modifiedtestsuite/tests/typing-gadts/existential_as_pattern.ml (diff)
The file was modifiedtyping/typecore.ml (diff)
The file was modifiedChanges (diff)
Commit f50150a9cea37c4eafcf170d9a3e73238c06fdd5 by tscompor
extract instance_unshared and update comments
 (commit: f50150a)
The file was modifiedtyping/typecore.ml (diff)