Merge module-alias branch (cf. PR#6063)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 8 insertions, 4 deletions

diff --git a/Changes b/Changes
index 380fe05f8..40bb16bd7 100644
--- a/Changes
+++ b/Changes
@@ -3,6 +3,11 @@ Next version:
 
 (Changes that can break existing programs are marked with a "*")
 
+Language features:
+- Attributes and extension nodes
+- Generative functors
+- Module aliases
+
 Camlp4:
 - Removed from the official distribution
 
@@ -16,10 +21,9 @@ Type system:
 - Allow opening a first-class module or applying a generative functor
   in the body of a generative functor. Allow it also in the body of
   an applicative functor if no types are created
-
-Language features:
-- Attributes and extension nodes
-- Generative functors
+* Module aliases are now typed in a specific way, which remembers their
+  identity. In particular this changes the signature inferred by
+  "module type of"
 
 Compilers:
 - Experimental native code generator for AArch64 (ARM 64 bits)