summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
Diffstat (limited to 'Changes')
-rw-r--r--Changes5
1 files changed, 3 insertions, 2 deletions
diff --git a/Changes b/Changes
index aa4dd06377..1ff85042c2 100644
--- a/Changes
+++ b/Changes
@@ -5,8 +5,9 @@ OCaml 3.13.0:
- Warning 28 is now enabled by default.
Language features:
-- Added GADTs to the language. See testsuite/tests/typing-gadts for
- the syntax and some examples of use. Please use -principal for testing.
+- Added Generalized Abstract Data Types (GADTs) to the language. See
+ testsuite/tests/typing-gadts for the syntax and some examples of
+ use. Please use -principal for testing.
- It is now possible to omit type annotations when packing and unpacking
first-class modules. The type-checker attempts to infer it from the context.
Using the -principal option guarantees forward compatibility.