Imported Upstream snapshot 8.3~beta0+13323

1 files changed, 1 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index ce151ee1..9e83e43d 100644
--- a/CHANGES
+++ b/CHANGES
@@ -126,6 +126,7 @@ Module system
 - A functor application can be prefixed by a "!" to make it ignore any
   "Inline" annotation in the type of its argument(s) (for examples of
   use of the new features, see libraries Structures and Numbers).
+- Coercions are now active only when modules are imported.
 
 Extraction