diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-10-25 16:24:47 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-10-25 16:24:47 +0000 |
| commit | 54e039901e4d7c223512ae1ef7167e112fdcc64f (patch) | |
| tree | 67625ffb0b7288ff1f011a4c8eec9f95f8835a54 /Changes | |
| parent | 8afbaa5747bcf1e269e9e6f643b2fcdaf400b83e (diff) | |
| download | ocaml-54e039901e4d7c223512ae1ef7167e112fdcc64f.tar.gz | |
GPR#42: Add simpler functor type syntax
(Leo White)
Add support for simple functor types of the form:
S -> T
equivalent to:
functor (_ : S) -> T
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16546 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'Changes')
| -rw-r--r-- | Changes | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -19,6 +19,8 @@ Language features: (Peter Zotov) - GPR#26: support for "(type a b)" as syntactic sugar for "(type a) (type b)" (Gabriel Scherer) +- GPR#42: short functor type syntax: "S -> T" for "functor (_ : S) -> T" + (Leo White) * GPR#69: Custom index operators: ( .() ), ( .[] ), ( .{} ) etc. (Florian Angeletti) The syntax "foo.(bar) <- baz" now desugars into "( .()<- ) foo bar baz"; this |