summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
authorAlain Frisch <alain.frisch@lexifi.com>2019-07-18 03:11:41 +0200
committerJacques Garrigue <garrigue@math.nagoya-u.ac.jp>2019-07-18 10:11:41 +0900
commit5ccf3c52dcbff5b5fc76b127ddb19aca90090b53 (patch)
tree99161e59e2b665ab1a22fa4397cd25dd63b4b0aa /Changes
parent1a798abff0cbf135da5526375e62f88ccfdd07de (diff)
downloadocaml-5ccf3c52dcbff5b5fc76b127ddb19aca90090b53.tar.gz
New implementation of Env.make_copy_of_types (#8774)
Diffstat (limited to 'Changes')
-rw-r--r--Changes4
1 files changed, 4 insertions, 0 deletions
diff --git a/Changes b/Changes
index 3104cd3a6f..3049e2ff49 100644
--- a/Changes
+++ b/Changes
@@ -30,6 +30,10 @@ Working version
(Gabriel Scherer and Thomas Refis, review by Stephen Dolan and
Florian Angeletti)
+- #8774: New implementation of Env.make_copy_of_types
+ (Alain Frisch, review by Thomas Refis, Leo White and Jacques Garrigue)
+
+
### Code generation and optimizations:
- #8672: Optimise Switch code generation on booleans.