summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
authorJeremie Dimino <jdimino@janestreet.com>2015-11-05 10:26:15 +0000
committerJeremie Dimino <jdimino@janestreet.com>2015-11-05 10:41:13 +0000
commit6676784f6320aa9e415261fca1154c5447fa7a13 (patch)
tree8e7648eddbe6195d6b6a1819e3eca0b2132e4265 /Changes
parent26657d5736b1b663072ea9ca17957875b909286d (diff)
downloadocaml-6676784f6320aa9e415261fca1154c5447fa7a13.tar.gz
PR#6806: Allow type annotations before the "->" in "fun <args> -> <expr>"
Patch by Valentin Gatien-Baron
Diffstat (limited to 'Changes')
-rw-r--r--Changes2
1 files changed, 2 insertions, 0 deletions
diff --git a/Changes b/Changes
index 06d0bb2887..c37d387b09 100644
--- a/Changes
+++ b/Changes
@@ -51,6 +51,8 @@ Language features:
(Pierre Chambart, Mark Shinwell)
- PR#6806: Syntax shortcut for putting a type annotation on a record field
(Valentin Gatien-Baron, review by Jérémie Dimino)
+- PR#6806: Allow type annotations before the "->" in "fun <args> -> <expr>"
+ (Valentin Gatien-Baron, review by Jérémie Dimino)
Compilers:
- PR#4800: better compilation of tuple assignment (Gabriel Scherer and