Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Righteous ambivalence (#9767) (commit: 302d735) (details)
Commit 302d735ce8f965f48784b90af11aaeddf22f88d1 by noreply
Righteous ambivalence (#9767)

* Fix #9759: Typing without -principal is broken in 4.11 and trunk
* compile stdlib in -principal mode
* never modify generic part of ty_expected_explained
* use generic_instance where possible
* add comment for -no-principal in stdlib__oo.cmi
 (commit: 302d735)
The file was modifiedChanges (diff)
The file was modifiedstdlib/camlinternalFormat.ml (diff)
The file was addedtestsuite/tests/typing-gadts/pr9759.ml
The file was modifiedstdlib/Makefile (diff)
The file was modifiedtyping/printtyp.ml (diff)
The file was modifiedtyping/typecore.ml (diff)
The file was modifiedstdlib/Compflags (diff)