diff options
author | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2016-03-01 09:30:35 +0900 |
---|---|---|
committer | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2016-03-01 09:30:35 +0900 |
commit | c989c820fbca286cf6dcd05dc6031ffa24e39232 (patch) | |
tree | 883acec0903404e2168d268226158d6d383caa45 /Changes | |
parent | f5bc512181d7e6e66844e47fe6dea1df7a87d6f3 (diff) | |
download | ocaml-c989c820fbca286cf6dcd05dc6031ffa24e39232.tar.gz |
Fix PR#7113: -safe-string can break GADT compatibility check
Diffstat (limited to 'Changes')
-rw-r--r-- | Changes | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -458,6 +458,7 @@ Bug fixes: - PR#7108: ocamldoc, have -html preserve custom/extended html generators (Armaël Guéneau) - PR#7096: ocamldoc uses an incorrect subscript/superscript style +- PR#7113: -safe-string can break GADT compatibility check - PR#7115: shadowing in a branch of a GADT match breaks unused variable warning (Alain Frisch, report by Valentin Gatien-Baron) - PR#7133: Jump labels in assembly end up as symbols in the executable on OS X |