diff options
author | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2020-07-29 09:10:17 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-29 09:10:17 +0900 |
commit | 302d735ce8f965f48784b90af11aaeddf22f88d1 (patch) | |
tree | f22f04239366e7ff57346d72134fa6f8b07e5793 /stdlib/Compflags | |
parent | 8b3ac9bcb27a028d1d80f7ee9bab64bcc58b455a (diff) | |
download | ocaml-302d735ce8f965f48784b90af11aaeddf22f88d1.tar.gz |
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
Diffstat (limited to 'stdlib/Compflags')
-rwxr-xr-x | stdlib/Compflags | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stdlib/Compflags b/stdlib/Compflags index 3fa37a3651..61f26a9254 100755 --- a/stdlib/Compflags +++ b/stdlib/Compflags @@ -34,5 +34,7 @@ case $1 in stdlib__scanf.cmx) echo ' -inline 9';; *Labels.cm[ox]) echo ' -nolabels -no-alias-deps';; stdlib__float.cm[ox]) echo ' -nolabels -no-alias-deps';; + stdlib__oo.cmi) echo ' -no-principal';; + # preserve structure sharing in Oo.copy (PR#9767) *) echo ' ';; esac |