Changes

Summary

Fix #7902: Type-checker infers a recursive type, even though -rectype… (#9556) (commit: 24d0873) (details)

Commit 24d087325c014014379a9d361975a3ddea92fb5a by noreply Fix #7902: Type-checker infers a recursive type, even though -rectype… (#9556) (commit: 24d0873)
The file was modified	testsuite/tests/typing-gadts/pr7016.ml (diff)
The file was modified	testsuite/tests/typing-gadts/pr7374.ml (diff)
The file was modified	typing/ctype.ml (diff)
The file was modified	typing/typecore.ml (diff)
The file was added	testsuite/tests/typing-gadts/pr7902.ml
The file was modified	typing/ctype.mli (diff)
The file was modified	Changes (diff)
The file was modified	testsuite/tests/typing-gadts/pr6174.ml (diff)