![[Jenkins]](/ocaml/static/8707ff75/images/svgs/logo.svg){kind=logo}
Summary
- add PR number for #7741 (commit: 97c3be2) (details)
- Fix #7520: Odd behaviour of refutation cases with polymorphic variants (#9547) (commit: abb8db4) (details)
| The file was modified | Changes (diff) |
| The file was added | testsuite/tests/typing-gadts/pr7520.ml |
| The file was modified | typing/ctype.mli (diff) |
| The file was modified | typing/typecore.ml (diff) |
| The file was modified | typing/ctype.ml (diff) |
| The file was modified | Changes (diff) |