summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Refis <thomas.refis@gmail.com>2018-01-25 14:57:20 +0000
committerThomas Refis <thomas.refis@gmail.com>2018-01-31 11:26:30 +0000
commite78a7a5ef6e8eba56d277fb20b52436ce9cc3284 (patch)
tree97791d52ba3eae61008a61af5972de8fb0f88135
parent1b670fb2f181bd9ca9986d1ac0808ff1412875c5 (diff)
downloadocaml-e78a7a5ef6e8eba56d277fb20b52436ce9cc3284.tar.gz
Changes
-rw-r--r--Changes3
1 files changed, 3 insertions, 0 deletions
diff --git a/Changes b/Changes
index 5f194181c7..7cd77889cb 100644
--- a/Changes
+++ b/Changes
@@ -23,6 +23,9 @@ Working version
when configured with -no-flat-float-array
(Jeremy Yallop, report by Gabriel Scherer)
+- GPR#1583: propagate refined ty_arg to Parmatch checks
+ (Thomas Refis, review by Jacques Garrigue)
+
### Standard library:
- MPR#7690, GPR#1528: fix the float_of_string function for hexadecimal floats