![[Jenkins]](/ocaml/static/8707ff75/images/svgs/logo.svg){kind=logo}
Summary
- Fix the polymorphic recursion problem of #9603 (#9617) (commit: ee20f5e) (details)
| The file was modified | testsuite/tests/typing-gadts/test.ml (diff) |
| The file was modified | typing/typecore.ml (diff) |
| The file was added | testsuite/tests/typing-poly/pr9603.ml |
| The file was modified | Changes (diff) |
| The file was modified | testsuite/tests/typing-poly/poly.ml (diff) |
| The file was modified | typing/ctype.ml (diff) |